C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model Predictive Robustness of Signal Temporal Logic Predicates.
Yuanfei Lin
Haoxuan Li
Matthias Althoff
Published in:
IEEE Robotics Autom. Lett. (2023)
Keyphrases
</>
temporal logic
model checking
verification method
dynamic programming
belief revision
modal logic