According to our database1, Simon Busard authored at least 11 papers between 2012 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
Comparing approaches for model-checking strategies under imperfect information and fairness constraints.
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Symbolic model checking of multi-modal logics: uniform strategies and rich explanations.
PhD thesis, 2017
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.
Inf. Comput., 2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013
Proceedings of the Proceedings Second International Workshop on Interactions, 2012