Published in: LIPIcs, Volume 323, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)
Dylan Bellier, Massimo Benerecetti, Fabio Mogavero, and Sophie Pinchinat. Plan Logic. In 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 323, pp. 9:1-9:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{bellier_et_al:LIPIcs.FSTTCS.2024.9, author = {Bellier, Dylan and Benerecetti, Massimo and Mogavero, Fabio and Pinchinat, Sophie}, title = {{Plan Logic}}, booktitle = {44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)}, pages = {9:1--9:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-355-3}, ISSN = {1868-8969}, year = {2024}, volume = {323}, editor = {Barman, Siddharth and Lasota, S{\l}awomir}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.9}, URN = {urn:nbn:de:0030-drops-221988}, doi = {10.4230/LIPIcs.FSTTCS.2024.9}, annote = {Keywords: Logic for strategic reasoning, Strategy Logic, Realisable strategies, Strategies vs. plans, Hyperteam semantics} }
Published in: LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
Sophie Pinchinat. Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk). In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 2:1-2:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{pinchinat:LIPIcs.TIME.2024.2, author = {Pinchinat, Sophie}, title = {{Strategic Reasoning Under Imperfect Information with Synchronous Semantics}}, booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)}, pages = {2:1--2:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-349-2}, ISSN = {1868-8969}, year = {2024}, volume = {318}, editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.2}, URN = {urn:nbn:de:0030-drops-212093}, doi = {10.4230/LIPIcs.TIME.2024.2}, annote = {Keywords: Strategic reasoning, Imperfect information, chain-MSO, Automatic structures} }
Published in: LIPIcs, Volume 250, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)
Dylan Bellier, Sophie Pinchinat, and François Schwarzentruber. Dependency Matrices for Multiplayer Strategic Dependencies. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 250, pp. 31:1-31:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bellier_et_al:LIPIcs.FSTTCS.2022.31, author = {Bellier, Dylan and Pinchinat, Sophie and Schwarzentruber, Fran\c{c}ois}, title = {{Dependency Matrices for Multiplayer Strategic Dependencies}}, booktitle = {42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)}, pages = {31:1--31:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-261-7}, ISSN = {1868-8969}, year = {2022}, volume = {250}, editor = {Dawar, Anuj and Guruswami, Venkatesan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2022.31}, URN = {urn:nbn:de:0030-drops-174230}, doi = {10.4230/LIPIcs.FSTTCS.2022.31}, annote = {Keywords: Temporal dependency, Delay games, Strategic reasoning, Temporal logic} }
Published in: LIPIcs, Volume 147, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Proceedings{gamper_et_al:LIPIcs.TIME.2019, title = {{LIPIcs, Volume 147, TIME'19, Complete Volume}}, booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-127-6}, ISSN = {1868-8969}, year = {2019}, volume = {147}, editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019}, URN = {urn:nbn:de:0030-drops-113887}, doi = {10.4230/LIPIcs.TIME.2019}, annote = {Keywords: Theory of computation, Logic; Information systems, Temporal data; Computing methodologies, Knowledge representation and reasoning} }
Published in: LIPIcs, Volume 147, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{gamper_et_al:LIPIcs.TIME.2019.0, author = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-127-6}, ISSN = {1868-8969}, year = {2019}, volume = {147}, editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.0}, URN = {urn:nbn:de:0030-drops-113582}, doi = {10.4230/LIPIcs.TIME.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
Bastien Maubert and Sophie Pinchinat. Jumping Automata for Uniform Strategies. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 24, pp. 287-298, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{maubert_et_al:LIPIcs.FSTTCS.2013.287, author = {Maubert, Bastien and Pinchinat, Sophie}, title = {{Jumping Automata for Uniform Strategies}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)}, pages = {287--298}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-64-4}, ISSN = {1868-8969}, year = {2013}, volume = {24}, editor = {Seth, Anil and Vishnoi, Nisheeth K.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.287}, URN = {urn:nbn:de:0030-drops-43801}, doi = {10.4230/LIPIcs.FSTTCS.2013.287}, annote = {Keywords: Games, Imperfect information, Uniform strategies, Jumping automata} }
Published in: LIPIcs, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
Nathanaël Fijalkow, Sophie Pinchinat, and Olivier Serre. Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 24, pp. 299-311, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{fijalkow_et_al:LIPIcs.FSTTCS.2013.299, author = {Fijalkow, Nathana\"{e}l and Pinchinat, Sophie and Serre, Olivier}, title = {{Emptiness Of Alternating Tree Automata Using Games With Imperfect Information}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)}, pages = {299--311}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-64-4}, ISSN = {1868-8969}, year = {2013}, volume = {24}, editor = {Seth, Anil and Vishnoi, Nisheeth K.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.299}, URN = {urn:nbn:de:0030-drops-43812}, doi = {10.4230/LIPIcs.FSTTCS.2013.299}, annote = {Keywords: Alternating Automata, Emptiness checking, Two-player games, Imperfect Information Games} }
Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)
Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff. VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). In Dagstuhl Reports, Volume 3, Issue 4, pp. 151-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{lomuscio_et_al:DagRep.3.4.151, author = {Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger}, title = {{VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)}}, pages = {151--187}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {4}, editor = {Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.151}, URN = {urn:nbn:de:0030-drops-41746}, doi = {10.4230/DagRep.3.4.151}, annote = {Keywords: Model checking, Specification-based testing, Multi-agent systems, Controller synthesis, Temporal logic} }
Published in: LIPIcs, Volume 4, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)
Laura Bozzelli, Axel Legay, and Sophie Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 4, pp. 85-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bozzelli_et_al:LIPIcs.FSTTCS.2009.2309, author = {Bozzelli, Laura and Legay, Axel and Pinchinat, Sophie}, title = {{On Timed Alternating Simulation for Concurrent Timed Games}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science}, pages = {85--96}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-13-2}, ISSN = {1868-8969}, year = {2009}, volume = {4}, editor = {Kannan, Ravi and Narayan Kumar, K.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2009.2309}, URN = {urn:nbn:de:0030-drops-23092}, doi = {10.4230/LIPIcs.FSTTCS.2009.2309}, annote = {Keywords: Concurrent Timed Games, Timed Alternating Simulation, Timed Alternating Temporal Logics} }
Feedback for Dagstuhl Publishing