On-the-Fly Exact Computation of Bisimilarity Distances

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

39 Citations (Scopus)

Filter

Finished
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
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R. (Project Participant)
01/10/2010 → 30/09/2012
Project: Research
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), Srba, J. (Project Participant), Ravn, A. P. (Project Participant), David, A. (Project Participant) & Wisniewski, R. (Project Participant)
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Project: Research

Projects