• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Uppaal SMC tutorial.

Alexandre DavidKim G. LarsenAxel LegayMarius MikucionisDanny Bøgsted Poulsen
Published in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
  • model checking
  • timed automata
  • machine learning
  • controller synthesis
  • database
  • image processing
  • temporal logic
  • model checker