Login / Signup
IF: A Validation Environment for Timed Asynchronous Systems.
Marius Bozga
Jean-Claude Fernandez
Lucian Ghirvu
Susanne Graf
Jean-Pierre Krimm
Laurent Mounier
Published in:
CAV (2000)
Keyphrases
</>
mobile robot
operating environment
building blocks
real time
intelligent systems
computing systems
database
neural network
data mining
search algorithm
learning systems
petri net
computing environments
human operators
artificial systems
multiple autonomous