Members
Simon Busard
Contact Information
Simon Busard |
Office: Réaumur A.143 (1st floor) |
Biography
Simon Busard is a PhD student since September 2010 and works as a research assistant in the Computer Science and Engineering Department at Université catholique de Louvain in Belgium. His research concerns the enrichment of diagnostic information in symbolic model checking and the model checking of uniform strategies in multi-agent systems.
Publications
- A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Simon Busard, Charles Pecheur. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, Roma, Italy, 20-22 September 2017.
- Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Doctoral thesis, Université catholique de Louvain.
- Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée?, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Information and Computation.
- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.
- PyNuSMV: NuSMV as a Python Library. Simon Busard, Charles Pecheur. Nasa Formal Methods 2013.
- Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013.
- Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard, Charles Pecheur. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012.
Talks
- Backward Model Checking of Uniform Strategies. Simon Busard. 8th International Symposium on Games, Automata, Logics, and Formal Verification. 20–22 September 2017, Rome, Italy.
- Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Simon Busard Public Defense, July 3, 2017, Louvain-la-Neuve, Belgium.
- What can imperfect agents achieve? Verification of strategies under partial observability. Simon Busard. "My Thesis in 180 seconds" contest, ICTEAM Young Researchers' Day 2015, May 26, 2015, Modave, Belgium.
- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard. 16th International Conference on Formal Engineering Methods, November 3-7, 2014, Luxembourg.
- Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. CFV Seminar, November 29, 2013, Brussels, Belgium.
- PyNuSMV: NuSMV as a Python Library. Simon Busard. 5th NASA Formal Methods Symposium, May 14-16, 2013, NASA Ames Research Center, Moffett Field, CA, USA.
- Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. 1st International Workshop on Strategic Reasoning, March 16-17, 2013, Rome, Italy.
- Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard. Second International Workshop on Interactions, Games and Protocols, 24 March - 1 April 2012, Tallinn, Estonia.
- Rich Counter-Examples for ACTL Model Checking. Simon Busard. Grascomp’s Contact Day, November 3rd, 2011, Université Libre de Bruxelles, Brussels, Belgium.