Josée Desharnais

Available identifiers

Publication	Date of Publication	Type
Finite Approximation of LMPs for Exact Verification of Reachability Properties	2024-03-14	Paper
A cop-winning strategy on strongly cop-win graphs	2023-05-31	Paper
General cops and robbers games with randomness	2021-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4965819	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4965815	2021-03-10	Paper
Laudatio for Prakash Panangaden	2014-06-02	Paper
Testing probabilistic equivalence through reinforcement learning	2013-12-04	Paper
A logical duality for underspecified probabilistic systems	2011-05-04	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Weak bisimulation is sound and complete for pCTL\(^*\)	2010-02-26	Paper
A Demonic Approach to Information in Probabilistic Systems	2009-10-22	Paper
Testing Probabilistic Equivalence Through Reinforcement Learning	2008-04-17	Paper
Bisimulation for labelled Markov processes	2006-10-10	Paper
Bisimulation and cocongruence for probabilistic systems	2006-06-30	Paper
Metrics for labelled Markov processes	2004-08-10	Paper
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.	2003-08-13	Paper
Approximating labelled Markov processes	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4484498	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4270063	1999-12-20	Paper

This page was built for person: Josée Desharnais