Fully Symbolic Model Checking for Incomplete Systems of Timed Automata.

Georges Morbé Christoph Scholl

Published in: MBMV (2012)

Keyphrases

symbolic model checking
model checking
timed automata
data mining
expert systems
model checker
safety analysis
reinforcement learning
formal methods