Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.

Agnieszka M. Zbrzezny Andrzej Zbrzezny

Published in: Sensors (2022)

Keyphrases

timed automata
model checking
bounded model checking
temporal logic
formal verification
metric temporal logic
reachability analysis
linear temporal logic
domain specific
formal methods
heuristic search
software engineering
epistemic logic
cooperative
artificial intelligence
machine learning
real time