C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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