conftrace_

model checking

105 papers

Explore in graph

Co-occurring keywords

multi-agent system (1819) formal verification (284) temporal logic (105) strategic reasoning (53) modal logic (55) formal methods (79) game theory (854) epistemic logic (42) first-order logic (171) nash equilibrium (398)

Papers

Neural Model Checking NIPS 2024
Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony IJCAI 2024
Agentive Permissions in Multiagent Systems IJCAI 2024
Backward Responsibility in Transition Systems Using General Power Indices AAAI 2024
Visual-Textual Entailment with Quantities Using Model Checking and Knowledge Injection COLING 2024
Model Checking Causality IJCAI 2024
CellDAM: User-Space, Rootless Detection and Mitigation for 5G Data Plane NSDI 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
From Width-Based Model Checking to Width-Based Automated Theorem Proving AAAI 2023
Not all quantifiers are equal: Probing Transformer-based language models’ understanding of generalised quantifiers EMNLP 2023
Safety Verification of Decision-Tree Policies in Continuous Time NIPS 2023
Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023
Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023
Safety Verification and Universal Invariants for Relational Action Bases IJCAI 2023
Formal Verification of Bayesian Mechanisms AAAI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Identifying the limits of transformers when performing model-checking with natural language EACL 2023
Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023
Discounting in Strategy Logic IJCAI 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
The Egocentric Logic of Preferences IJCAI 2022
Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022
Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022