conftrace_

probabilistic temporal logic

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (3) probabilistic model checking (2) formal verification (2) specification learning (1) intention revision (1) natural strategies (1) autonomous glider (1) policy verification (1) stochastic multi-agent system (1) linear temporal logic (1)

Papers

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems IJCAI 2025 Natural Strategic Ability in Stochastic Multi-Agent Systems AAAI 2024 Revising Beliefs and Intentions in Stochastic Environments IJCAI 2024 Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023 Verifying Fault-Tolerance in Probabilistic Swarm Systems IJCAI 2020 Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints RSS 2012