Uppaal SMC tutorial

Search results

• Finished

  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

  Project: Research

  • Markov Chain 100%
  • Model Checking 50%
  • System Synthesis 40%
  • Numerical Minimization 40%
  • Zero-sum Game 40%

• 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

  Project: Research

  • Markov Chain 100%
  • Model Checking 50%
  • Numerical Minimization 40%
  • Self-supporting 40%
  • Autonomous Computing 40%

• 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

  Project: Research

  • Model Checking 100%
  • Statistical Model 50%
  • Embedded Systems 40%
  • Model-based Testing 40%
  • Model-based Analysis 40%

• 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

  Project: Research

  • Model Checking 100%
  • Markov Chain 88%
  • Statistical Model 55%
  • Axiomatization 55%
  • Weighted Logic 44%