|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Josée Desharnais, François Laviolette, Amélie Turgeon |
A logical duality for underspecified probabilistic systems.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Assouramou, Josée Desharnais |
Analysis of Non-Linear Probabilistic Hybrid Systems |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Tracol, Josée Desharnais, Abir Zhioua |
Computing Distances between Probabilistic Automata |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak bisimulation is sound and complete for pCTL*. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Assouramou, Josée Desharnais |
Continuous Time and/or Continuous Distributions. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais |
Learning the Difference between Partially Observable Dynamical Systems. |
ECML/PKDD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, François Laviolette, Amélie Turgeon |
A Demonic Approach to Information in Probabilistic Systems. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, François Laviolette, Mathieu Tracol |
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden |
Bisimulation and cocongruence for probabilistic systems. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua |
Trace Equivalence Characterization Through Reinforcement Learning. |
Canadian Conference on AI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, François Laviolette, Sami Zhioua |
Testing Probabilistic Equivalence Through Reinforcement Learning. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for labelled Markov processes. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josée Desharnais, Prakash Panangaden |
Labelled Markov Processes: Stronger and Faster Approximations. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Prakash Panangaden |
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating labelled Markov processes. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josee Desharnais, Prakash Panangaden |
Conditional Expectation and the Approximation of Labelled Markov Processes. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josee Desharnais |
Labelled Markov Processes: Stronger and Faster Approximations. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Abbas Edalat, Prakash Panangaden |
Bisimulation for Labelled Markov Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating Labeled Markov Processes. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for Labeled Markov Systems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Abbas Edalat, Prakash Panangaden |
A Logical Characterization of Bisimulation for Labeled Markov Processes. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden |
Bisimulation for Labelled Markov Processes. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")