Patrick Gardy

According to our database, Patrick Gardy authored at least 7 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Reachability of Patterned Conditional Pushdown Systems.

Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki

J. Comput. Sci. Technol., 2020

2019

Low complexity and large interactions are possible in Strategy logic.

Patrick Gardy

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Simulations for Multi-Agent Systems with Imperfect Information.

Patrick Gardy, Yuxin Deng

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Dependences in Strategy Logic.

Patrick Gardy, Patricia Bouyer, Nicolas Markey

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

2016

On the semantics of Strategy Logic.

Patricia Bouyer, Patrick Gardy, Nicolas Markey

Inf. Process. Lett., 2016

2015

Weighted Strategy Logic with Boolean Goals Over One-Counter Games.

Patricia Bouyer, Patrick Gardy, Nicolas Markey

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Quantitative Verification of Weighted Kripke Structures.

Patricia Bouyer, Patrick Gardy, Nicolas Markey

Proceedings of the Automated Technology for Verification and Analysis, 2014