Login / Signup
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
Johan Lidén Eddeland
Sajed Miremadi
Martin Fabian
Knut Åkesson
Published in:
CASE (2017)
Keyphrases
</>
temporal logic
model checking
objective function
modal logic
cyber physical systems
temporal properties
linear temporal logic
computation tree logic
belief revision
cyber physical
mazurkiewicz traces
reactive systems
cyber security
bounded model checking
real time
decision making
social networks