User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability

Primary tabs

download
  • Open access
  • PDF
  • 247.28 K
Busard, Simon [UCL] Pecheur, Charles [UCL]
Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès libre
Publication date 2017
Language Anglais
Conference "Eighth International Symposium on Games, Automata, Logics and Formal Verification", Roma, Italy (du 20/09/2017 au 22/09/2017)
Peer reviewed yes
Host document Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro ; "Proceedings of Eighth International Symposium on Games, Automata, Logics and Formal Verification" (ISBN : 2075-2180)
Publisher Open Publishing Association
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords ICTEAM:SOFT
Links
  1. Alur Rajeev, Henzinger Thomas A., Kupferman Orna, Alternating-time temporal logic, 10.1145/585265.585270
  2. Belardinelli, Proceedings of AAMAS '17, 1268 (2017)
  3. Berthon, Proceedings of AAMAS '17, 1250 (2017)
  4. Bertoli Piergiorgio, Cimatti Alessandro, Roveri Marco, Traverso Paolo, Strong planning under partial observability, 10.1016/j.artint.2006.01.004
  5. Bertoli, Proceedings of ICAPS'06, 354 (2006)
  6. Bozianu Rodica, Dima Cătălin, Filiot Emmanuel, Safraless Synthesis for Epistemic Temporal Specifications, Computer Aided Verification (2014) ISBN:9783319088662 p.441-456, 10.1007/978-3-319-08867-9_29
  7. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, 10.1109/tc.1986.1676819
  8. Busard Simon, Pecheur Charles, PyNuSMV: NuSMV as a Python Library, Lecture Notes in Computer Science (2013) ISBN:9783642380877 p.453-458, 10.1007/978-3-642-38088-4_33
  9. Busard Simon, Pecheur Charles, Qu Hongyang, Raimondi Franco, Reasoning about memoryless strategies under partial observability and unconditional fairness constraints, 10.1016/j.ic.2015.03.014
  10. Busard Simon, Pecheur Charles, Qu Hongyang, Raimondi Franco, Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints, Formal Methods and Software Engineering (2014) ISBN:9783319117362 p.27-42, 10.1007/978-3-319-11737-9_3
  11. Busard Simon, Pecheur Charles, Qu Hongyang, Raimondi Franco, Reasoning about Strategies under Partial Observability and Fairness Constraints, 10.4204/eptcs.112.12
  12. Calta Jan, Shkatov Dmitry, Schlingloff Holger, Finding Uniform Strategies for Multi-agent Systems, Lecture Notes in Computer Science (2010) ISBN:9783642149764 p.135-152, 10.1007/978-3-642-14977-1_12
  13. Cimatti Alessandro, Clarke Edmund, Giunchiglia Enrico, Giunchiglia Fausto, Pistore Marco, Roveri Marco, Sebastiani Roberto, Tacchella Armando, NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification (2002) ISBN:9783540439974 p.359-364, 10.1007/3-540-45657-0_29
  14. Dastani, Proceedings of AAMAS 10, 997 (2010)
  15. Dima, CoRR, abs/1102.4225 (2011)
  16. Huang, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 1426 (2014)
  17. Jamroga, EUMAS'06 (2006)
  18. Jamroga, Fundamenta Informaticae, Volume 63, 185 (2004)
  19. Lomuscio Alessio, Raimondi Franco, Model checking knowledge, strategies, and games in multi-agent systems, 10.1145/1160633.1160660
  20. Peterson G., Reif J., Azhar S., Decision algorithms for multiplayer noncooperative games of incomplete information, 10.1016/s0898-1221(01)00282-6
  21. Pilecki Jerzy, Bednarczyk Marek A., Jamroga Wojciech, Synthesis and Verification of Uniform Strategies for Multi-agent Systems, Lecture Notes in Computer Science (2014) ISBN:9783319097633 p.166-182, 10.1007/978-3-319-09764-0_11
  22. Ramanujam R., Simon Sunil, A Communication Based Model for Games of Imperfect Information, CONCUR 2010 - Concurrency Theory (2010) ISBN:9783642153747 p.509-523, 10.1007/978-3-642-15375-4_35
  23. Raskin Jean-Francois, Chatterjee Krishnendu, Doyen Laurent, Henzinger Thomas, Algorithms for Omega-Regular Games with Imperfect Information, 10.2168/lmcs-3(3:4)2007
  24. Schobbens Pierre-Yves, Alternating-time logic with imperfect recall, 10.1016/s1571-0661(05)82604-0
Bibliographic reference Busard, Simon ; Pecheur, Charles. A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.Eighth International Symposium on Games, Automata, Logics and Formal Verification (Roma, Italy, du 20/09/2017 au 22/09/2017). In: Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro, Proceedings of Eighth International Symposium on Games, Automata, Logics and Formal Verification, Open Publishing Association2017
Permanent URL http://hdl.handle.net/2078.1/187822