conftrace_

alternating simulation function

1 paper

Explore in graph

Also known as

ASF

Co-occurring keywords · papers mentioning both

finite abstraction (1) sum of squares optimization (1) hybrid controller (1) symbolic model (1) data-driven control (1)

Papers

Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025