Patricia Bouyer

2 papers · 2019–2023 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11)

Conferences

IJCAI (2)

Top co-authors

Bastien Maubert (1) Pierre Vandenhove (1) Giuseppe Perelli (1) Aniello Murano (1) Antonio Casares (1) Orna Kupferman (1) Nicolas Markey (1) Mickael Randour (1)

Keywords

formal verification (1) zero-sum game (1) model checking (1) quantitative reasoning (1) strategy logic (1) fuzzy temporal logic (1) multi-agent system (1) omega-regular objective (1) buechi automata (1) game on graph (1)

Papers

Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023

Reasoning about Quality and Fuzziness of Strategic Behaviours IJCAI 2019