conftrace_

dynamic logic

3 papers

Explore in graph

Also known as

DL

Co-occurring keywords · papers mentioning both

model checking (2) data-aware system (1) parallel planning (1) high-level programming language (1) linear dynamic logic (1) execution history (1) pspace completeness (1) situation calculus (1) first-order logic (1) formal verification (1)

Papers

ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020 Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017