Multi-core Reachability for Timed Automata.

Andreas Engelbredt Dalsgaard Alfons Laarman Kim G. Larsen Mads Chr. Olesen Jaco van de Pol

Published in: FORMATS (2012)

Keyphrases

timed automata
model checking
reachability analysis
state space
theorem prover
mobile robot
machine learning
social networks
feature selection
decision making
image processing
data structure
information technology