Temporal logic robustness for general signal classes.

Houssam Abbas Yash Vardhan Pant Rahul Mangharam

Published in: HSCC (2019)

Keyphrases

temporal logic
model checking
special case
linear temporal logic
modal logic
temporal knowledge
computation tree logic
satisfiability problem
concurrent systems
belief revision
transition systems
reinforcement learning
search space
state space
predicate logic
automata theoretic