 Probabilistic Strategy Logic with Degrees of ObservabilityAAAI Conference on Artificial Intelligence (AAAI), 2024 |
 Scalable Verification of Strategy Logic through Three-valued AbstractionInternational Joint Conference on Artificial Intelligence (IJCAI), 2023 |
 Model Checking Strategic Abilities in Information-sharing SystemsACM Transactions on Computational Logic (TOCL), 2022 |
 Towards the Combination of Model Checking and Runtime Verification on
Multi-Agent SystemsPractical Applications of Agents and Multi-Agent Systems (PAAMS), 2022 |
