Uppaal SMC tutorial

Search results

• Finished

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

  Larsen, K. G. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)

  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. (Project Manager), Hansen, R. R. (Project Participant), Koch, P. (Project Participant), Nielsen, B. (Project Participant) & Skou, A. (Project Participant)

  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. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)

  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. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)

  01/04/2011 → 30/04/2015

  Project: Research

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