Josée Desharnais

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Discrete Mathematics	2023-05-31	Paper
General cops and robbers games with randomness Theoretical Computer Science	2021-09-27	Paper
scientific article; zbMATH DE number 7318983 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7318980 (Why is no real title available?)	2021-03-10	Paper
Laudatio for Prakash Panangaden Lecture Notes in Computer Science	2014-06-02	Paper
Testing probabilistic equivalence through reinforcement learning Information and Computation	2013-12-04	Paper
A logical duality for underspecified probabilistic systems Information and Computation	2011-05-04	Paper
Conditional expectation and the approximation of labelled Markov processes. Lecture Notes in Computer Science	2010-03-30	Paper
Weak bisimulation is sound and complete for pCTL\(^\) Information and Computation*	2010-02-26	Paper
A Demonic Approach to Information in Probabilistic Systems CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
Testing Probabilistic Equivalence Through Reinforcement Learning FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper
Bisimulation for labelled Markov processes Information and Computation	2006-10-10	Paper
Bisimulation and cocongruence for probabilistic systems Information and Computation	2006-06-30	Paper
Metrics for labelled Markov processes Theoretical Computer Science	2004-08-10	Paper
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. The Journal of Logic and Algebraic Programming	2003-08-13	Paper
Approximating labelled Markov processes Information and Computation	2003-07-29	Paper
scientific article; zbMATH DE number 1927573 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1361128 (Why is no real title available?)	1999-12-20	Paper

Research outcomes over time

This page was built for person: Josée Desharnais