A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Søgeresultater

• Afsluttet

  Approximate Reasoning for Stochastic Markovian Systems

  Mardare, R. & Larsen, K. G.

  01/11/2015 → 31/10/2019

  Projekter: Projekt › Forskning

  • Complete 100%
  • Algorithms 73%
  • Approximates 66%
  • Markov Process 62%
  • Approximation (Algorithm) 58%

• 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%