conftrace_

game semantics

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) quantifier elimination (1) reasoning action (1) robust pomdp (1) multi-agent system (1) formal analysis (1) epistemic logic (1) second-order logic (1) quantified boolean formula (1) imprecise probability (1)

Papers

A Logical Analysis of Hanabi AAAI 2025 Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs IJCAI 2024 Second-Order Quantified Boolean Logic AAAI 2023