Login / Signup
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
Houssam Abbas
Georgios Fainekos
Sriram Sankaranarayanan
Franjo Ivancic
Aarti Gupta
Published in:
ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
</>
temporal logic
cyber physical systems
model checking
cyber physical
modal logic
computation tree logic
belief revision
physical world
verification method
reactive systems
linear temporal logic
mazurkiewicz traces