On-the-Fly Computation of Bisimilarity Distances

Søgeresultater

• Afsluttet

  IDEA4CPS: Foundations for Cyber-Physical Sytems

  Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Bulychev, P. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Poulsen, D. B. (Projektdeltager)

  01/04/2011 → 30/04/2015

  Projekter: Projekt › Forskning

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

• MT-LAB: MT-LAB A VKR Foundation Center of Excellence

  Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), Srba, J. (Projektdeltager), Ravn, A. P. (Projektdeltager), David, A. (Projektdeltager) & Wisniewski, R. (Projektdeltager)

  VKR Centre of Excellence

  01/10/2008 → 01/10/2013

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Statistical Model 100%
  • Software System 100%
  • Center of Excellence 100%
  • Software Systems 100%