Patrick Gardy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2019
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICFEM | Simulations for Multi-Agent Systems with Imperfect Information. | Patrick Gardy, Yuxin Deng |
| 2019 | TASE | Low complexity and large interactions are possible in Strategy logic. | Patrick Gardy |
| 2018 | STACS | Dependences in Strategy Logic. | Patrick Gardy, Patricia Bouyer, Nicolas Markey |
| 2014 | ATVA | Quantitative Verification of Weighted Kripke Structures. | Patricia Bouyer, Patrick Gardy, Nicolas Markey |