Login / Signup
An Interactive Verification and Debugging Environment by Concrete/Symbolic Simulations for System-Level Designs.
Yoshihisa Kojima
Tasuku Nishihara
Takeshi Matsumoto
Masahiro Fujita
Published in:
ATS (2008)
Keyphrases
</>
simulation environment
mobile robot
real time
tour guide robot
artificial intelligence
website
higher level
dynamic environments
user friendly
levels of abstraction
neural network
reinforcement learning
model checking
numerical simulations
complex environments
design tools