conftrace_

finite-state abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

data-aware dynamic system (1) linear-time property (1) finite abstraction (1) probably approximately correct (1) interval markov decision process (1) policy synthesis (1) model checking (1) stochastic system (1) formal verification (1)

Papers

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems L4DC 2025 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022