Login / Signup
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
Zahra Ramezani
Alexandre Donzé
Martin Fabian
Knut Åkesson
Published in:
ARCH@ADHS (2021)
Keyphrases
</>
temporal logic
model checking
cyber physical systems
modal logic
cyber physical
verification method
belief revision
linear temporal logic
computation tree logic
social networks
mazurkiewicz traces
transition systems
real time
decision making
physical world
temporal knowledge