CV Accueil - Archive ouverte HAL

	The complexity of one-agent refinement modal logic Laura Bozzelli , Hans van Ditmarsch , Sophie Pinchinat Theoretical Computer Science, 2015, 603, pp.58--83. ⟨10.1016/j.tcs.2015.07.015⟩ Article dans une revue hal-01273557v1
	Verification of gap-order constraint abstractions of counter systems Laura Bozzelli , Sophie Pinchinat Theoretical Computer Science, 2014, pp.36. ⟨10.1016/j.tcs.2013.12.002⟩ Article dans une revue hal-01098739v1
	On timed alternating simulation for concurrent timed games Laura Bozzelli , Axel Legay , Sophie Pinchinat Acta Informatica, 2012, Acta Informatica, 49 (4), pp.31. ⟨10.1007/s00236-012-0158-y⟩ Article dans une revue hal-01098747v1

	Unifying Hyper and Epistemic Temporal Logics Laura Bozzelli , Bastien Maubert , Sophie Pinchinat Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.167--182, ⟨10.1007/978-3-662-46678-0_11⟩ Communication dans un congrès hal-01273553v1
	The Complexity of Synthesizing Uniform Strategies Bastien Maubert , Sophie Pinchinat , Laura Bozzelli 1st International Workshop on Strategic Reasoning, {SR} 2013, Mar 2013, Rome, Italy. pp.8, ⟨10.4204/EPTCS.112.17⟩ Communication dans un congrès hal-01098745v1
	The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli , Hans Van Ditmarch , Sophie Pinchinat JELIA 2012 - 13th European Conference on Logics in Artificial Intelligence, Sep 2012, Toulouse, France. pp.120-133, ⟨10.1007/978-3-642-33353-8_10⟩ Communication dans un congrès hal-01098749v1

	Opacity Issues in Games with Imperfect Information Bastien Maubert , Sophie Pinchinat , Laura Bozzelli [Research Report] 2011, pp.27 Rapport inria-00630077v1

Sophie Pinchinat