Smooth operator: Control using the smooth robustness of temporal logic.

Yash Vardhan Pant Houssam Abbas Rahul Mangharam

Published in: CCTA (2017)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
temporal knowledge
temporally extended
integrity constraints
verification method
concurrent systems
mazurkiewicz traces