 |
 |
 |
 |
|
|
|
|---|---|---|
|
hal-00700334v1
Rapport
Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information [Research Report] PI-1992, 2012, pp.6 |
||
|
inria-00073242v1
Rapport
Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods [Research Report] RR-3448, INRIA. 1998 |
||
|
inria-00424857v1
Communication dans un congrès
Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. 2006 |
||
|
inria-00424283v1
Communication dans un congrès
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. <10.1007/978-3-642-00982-2_13> |
||
|
inria-00424356v1
Communication dans un congrès
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS |
||
|
inria-00525397v1
Communication dans un congrès
Christophe Morvan, Sophie Pinchinat. Diagnosability of pushdown systems Kedar Namjoshi and Andreas Zeller. Haifa Verification Conference, Oct 2009, Haifa, Israel. Springer, 6405, 2009, LNCS; Hardware and Software: Verification and Testing |
||
|
inria-00337614v1
Rapport
Christophe Morvan, Sophie Pinchinat. Diagnosis of Pushdown Systems [Research Report] PI 1904, 2008, pp.19 |
||
|
inria-00630077v1
Rapport
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information [Research Report] 2011, pp.27 |
||
|
hal-01098740v1
Communication dans un congrès
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat. Automata Techniques for Epistemic Protocol Synthesis Fabio Mogavero and Aniello Murano and Moshe Y. Vardi. 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. EPTCS, 146, pp.11, 2014, EPTCS. <10.4204/EPTCS.146.13> |
||
|
hal-00760370v1
Rapport
Bastien Maubert, Sophie Pinchinat. Uniform Strategies [Research Report] RR-8144, INRIA. 2012 |
||
|
hal-01260682v1
Communication dans un congrès
Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Tree Automata Using Games With Imperfect Information 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. LLIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24, pp.13, Proceedings of the 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013). <10.4230/LIPIcs.FSTTCS.2013.299> |
||
|
inria-00072844v1
Rapport
Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem [Research Report] RR-3814, INRIA. 1999 |
||
|
inria-00555999v1
Communication dans un congrès
Sophie Pinchinat, Stéephane Riedweg. On the Architectures in Decentralized Supervisory Control Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), Dec 2005, Seville, Spain. IEEE Computer Society Press, pp.12-17, 2005 |
||
|
inria-00555977v1
Communication dans un congrès
Laura Bozzelli, Axel Legay, Sophie Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games FSTTCS, Dec 2009, Kanpur, India. pp.85-96, 2009 |
||
|
inria-00556003v1
Communication dans un congrès
Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. 4, pp.2287-2292, 2005 |
||
|
inria-00555743v1
Communication dans un congrès
John-Christopher Mccabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat. On the Expressivity of RoCTL TIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44, 2009 |
||
|
inria-00555753v1
Communication dans un congrès
Sophie Pinchinat. A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies ATVA, Oct 2007, Tokyo, Japan. pp.253-267, 2007 |
||
|
inria-00555751v1
Communication dans un congrès
Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of Preorder Checking for Basic Formalisms LPAR, Apr 2010, Dakar, Senegal. pp.119-135, 2010 |
||
|
inria-00555749v1
Communication dans un congrès
Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition RP, Sep 2009, Paris, France. pp.166-175, 2009 |
||
|
inria-00555755v1
Communication dans un congrès
Andreas Bauer, Sophie Pinchinat. A Topological Perspective on Diagnosis 9th International Workshop on Discrete Event Systems, May 2008, Gothenburg, Sweden. 2008 |
||
|
inria-00555746v1
Communication dans un congrès
Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns ICLA, Jan 2009, Chennai, India. pp.116-130, 2009 |
||
|
inria-00418855v1
Rapport
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems [Research Report] RR-7039, INRIA. 2009 |
||
|
inria-00071630v1
Rapport
Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation [Research Report] RR-4949, INRIA. 2003 |
||
|
inria-00071793v1
Rapport
Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis [Research Report] RR-4793, INRIA. 2003 |
||
|
hal-00743196v1
Communication dans un congrès
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Analysis of partially observed recursive tile systems 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271, 2012 |
||
|
hal-01098739v1
Article dans une revue
Laura Bozzelli, Sophie Pinchinat. Verification of gap-order constraint abstractions of counter systems Journal of Theoretical Computer Science (TCS), Elsevier, 2014, pp.36. <10.1016/j.tcs.2013.12.002> |
||
|
hal-01098744v1
Communication dans un congrès
Laura Bozzelli, Hans Van Ditmarsch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. AAAI |
||
|
hal-01098745v1
Communication dans un congrès
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. The Complexity of Synthesizing Uniform Strategies Fabio Mogavero and Aniello Murano and Moshe Y. Vardi. 1st International Workshop on Strategic Reasoning, 2013, Mar 2013, Rome, Italy. EPTCS, 112, pp.8, 2013, EPTCS. <10.4204/EPTCS.112.17> |
||
|
hal-01098749v1
Communication dans un congrès
Laura Bozzelli, Hans Van Ditmarch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic 13th European Conference, JELIA 2012, Sep 2012, Toulouse, France. Logics in Artificial Intelligence, 7519, pp.14, LNCS. <10.1007/978-3-642-33353-8_10> |
||
|
hal-01098741v1
Communication dans un congrès
Bastien Maubert, Sophie Pinchinat. Jumping Automata for Uniform Strategies IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. <10.4230/LIPIcs.FSTTCS.2013.287> |
||
|
|
|