conftrace_

finite abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear-time property (1) alternating simulation function (1) data-aware dynamic system (1) finite-state abstraction (1) sum of squares optimization (1) hybrid controller (1) symbolic model (1) data-driven control (1) model checking (1) formal verification (1)

Papers

Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022