Uppaal SMC tutorial

Søgeresultater

• Afsluttet

  CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

  Larsen, K. G., Skou, A., David, A. & Srba, J.

  FP7 STREP

  01/04/2013 → 31/03/2016

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Algorithms 90%
  • Complete 80%
  • Approximates 80%
  • Timed Automaton 50%

• SENSATION: Self Energy-Supporting Autonomous Computation

  Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.

  FP7 FET Proactive

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Algorithms 90%
  • Computation 80%
  • Optimization 80%
  • Energy Engineering 80%

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.

  Artemis JU

  01/11/2011 → 31/10/2014

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Models 67%
  • Embedded Systems 38%
  • User 38%
  • Algorithms 38%

• IDEA4CPS: Foundations for Cyber-Physical Sytems

  Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

  01/04/2011 → 30/04/2015

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Algorithms 74%
  • Transition System 72%
  • Complete 66%
  • Approximation (Algorithm) 44%