model checking

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes AAAI 2020 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019 Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications IJCAI 2019 Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019 On Computational Tractability for Rational Verification IJCAI 2019 Partitioning Techniques in LTLf Synthesis IJCAI 2019 Probabilistic Alternating-Time µ-Calculus AAAI 2019 Probabilistic Strategy Logic IJCAI 2019 Reasoning about Quality and Fuzziness of Strategic Behaviours IJCAI 2019 Satisfiability in Strategy Logic Can Be Easier than Model Checking AAAI 2019 Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!) IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019 The Complexity of Model Checking Knowledge and Time IJCAI 2019 Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 Alternating-time Temporal Logic on Finite Traces IJCAI 2018 Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018 Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018 An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 ATL Strategic Reasoning Meets Correlated Equilibrium IJCAI 2017 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017