Benchmarks for Temporal Logic Requirements for Automotive Systems.

Bardh Hoxha Houssam Abbas Georgios Fainekos

Published in: ARCH@CPSWeek (2014)

Keyphrases

temporal logic
model checking
satisfiability problem
reactive systems
dynamic constraints
distributed systems
modal logic
knowledge based systems
concurrent systems
linear temporal logic
expert systems
complex systems
formal methods
temporal knowledge
verification method