Josée Desharnais

Full Professor, Département d’informatique et de génie logiciel, Université Laval

Joined

February 2025

Names

Josée Desharnais (Preferred)

Emails

****@ift.ulaval.ca (Confirmed)

Personal Links

DBLP

ORCID

Career & Education History

Full Professor

Département d’informatique et de génie logiciel, Université Laval (ulaval.ca)

2000 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

General Cops and Robbers Games with randomness
Frédéric Simard, Josée Desharnais, François Laviolette
- 2020 (modified: 11 Feb 2025)
- CoRR 2020
- Readers: Everyone
Implicit Variational Inference: the Parameter and the Predictor Space
Yann Pequignot, Mathieu Alain, Patrick Dallaire, Alireza Yeganehparast, Pascal Germain, Josée Desharnais, François Laviolette
- 2020 (modified: 11 Feb 2025)
- CoRR 2020
- Readers: Everyone
Finite Approximation of LMPs for Exact Verification of Reachability Properties
Gildas Kouko, Josée Desharnais, François Laviolette
- 2019 (modified: 11 Feb 2025)
- QEST 2019
- Readers: Everyone
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs
Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais
- 2015 (modified: 15 Dec 2025)
- CP 2015
- Readers: Everyone
Testing probabilistic equivalence through Reinforcement Learning
Josée Desharnais, François Laviolette, Sami Zhioua
- 2013 (modified: 11 Feb 2025)
- Inf. Comput. 2013
- Readers: Everyone
A logical duality for underspecified probabilistic systems
Josée Desharnais, François Laviolette, Amélie Turgeon
- 2011 (modified: 11 Feb 2025)
- Inf. Comput. 2011
- Readers: Everyone
Weak bisimulation is sound and complete for pCTL*
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
- 2010 (modified: 11 Feb 2025)
- Inf. Comput. 2010
- Readers: Everyone
Learning the Difference between Partially Observable Dynamical Systems
Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais
- 2009 (modified: 11 Feb 2025)
- ECML/PKDD (2) 2009
- Readers: Everyone
A Demonic Approach to Information in Probabilistic Systems
Josée Desharnais, François Laviolette, Amélie Turgeon
- 2009 (modified: 11 Feb 2025)
- CONCUR 2009
- Readers: Everyone
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
Josée Desharnais, François Laviolette, Mathieu Tracol
- 2008 (modified: 11 Feb 2025)
- QEST 2008
- Readers: Everyone

View all 16 publications