Login / Signup

UPPAAL - Now, Next, and Future.

Tobias AmnellGerd BehrmannJohan BengtssonPedro R. D'ArgenioAlexandre DavidAnsgar FehnkerThomas HuneBertrand JeannetKim Guldstrand LarsenM. Oliver MöllerPaul PetterssonCarsten WeiseWang Yi
Published in: MOVEP (2000)
Keyphrases
  • long term
  • model checking
  • database
  • image processing
  • natural language
  • artificial neural networks
  • mobile robot
  • probability distribution