Login / Signup
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.
Arend Aerts
Bryan Tong Minh
Mohammad Reza Mousavi
Michel A. Reniers
Published in:
ICST Workshops (2018)
Keyphrases
</>
temporal logic
cyber physical
model checking
cyber physical systems
modal logic
verification method
search space
belief revision
linear temporal logic
transition systems
computation tree logic
social networks
mazurkiewicz traces
knowledge base
computational intelligence
reactive systems