model checking

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022 Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022 Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022 Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022 The Egocentric Logic of Preferences IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 Multi-Agent Belief Base Revision IJCAI 2021 Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Verifiable Machine Ethics in Changing Contexts AAAI 2021 A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020 Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020 Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems IJCAI 2020 Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020 Parameterised Resource-Bounded ATL AAAI 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020