Simon Busard

Available identifiers

zbMath Open busard.simonMaRDI QIDQ2024337

List of research outcomes

Publication	Date of Publication	Type
A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability	2021-12-14	Paper
Reasoning about strategies under partial observability and fairness constraints	2021-05-06	Paper
Producing explanations for rich logics	2021-05-04	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints	2015-06-01	Paper

Research outcomes over time

This page was built for person: Simon Busard