model checking

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Model Checking Causality IJCAI 2024 Natural Strategic Ability in Stochastic Multi-Agent Systems AAAI 2024 Neural Model Checking NeurIPS 2024 On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing AAAI 2024 Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives UAI 2024 Submodel Enumeration for CTL Is Hard AAAI 2024 Using Symmetries to Lift Satisfiability Checking AAAI 2024 Visual-Textual Entailment with Quantities Using Model Checking and Knowledge Injection COLING 2024 Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 CellDAM: User-Space, Rootless Detection and Mitigation for 5G Data Plane NSDI 2023 Discounting in Strategy Logic IJCAI 2023 Formal Verification of Bayesian Mechanisms AAAI 2023 From Width-Based Model Checking to Width-Based Automated Theorem Proving AAAI 2023 Identifying the limits of transformers when performing model-checking with natural language EACL 2023 Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023 Not all quantifiers are equal: Probing Transformer-based language models’ understanding of generalised quantifiers EMNLP 2023 Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023 Safety Verification and Universal Invariants for Relational Action Bases IJCAI 2023 Safety Verification of Decision-Tree Policies in Continuous Time NeurIPS 2023 Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023 Second-Order Quantified Boolean Logic AAAI 2023 A Computationally Grounded Logic of 'Seeing-to-it-that' IJCAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022