Patrick Gardy

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Topics

Classical Logic

Sound And Complete Axiomatization

Imperfect Information

Top Venues

Theory Comput. Syst.

Inf. Process. Lett.

Publications

Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. Theory Comput. Syst. 64 (3) (2020)
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35 (6) (2020)
Patrick Gardy, Yuxin Deng
Simulations for Multi-Agent Systems with Imperfect Information. ICFEM (2019)
Patrick Gardy
Low complexity and large interactions are possible in Strategy logic. TASE (2019)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. STACS (2018)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. CoRR (2017)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
On the semantics of Strategy Logic. Inf. Process. Lett. 116 (2) (2016)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS (2015)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Quantitative Verification of Weighted Kripke Structures. ATVA (2014)