Sign in
Mining parametric temporal logic properties in model-based design for cyber-physical systems.
Bardh Hoxha
Adel Dokhanchi
Georgios Fainekos
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
temporal logic
model checking
modal logic
formal specification language
data mining
data analysis
embedded systems
temporal knowledge
belief revision
information security
cyber physical systems
transition systems