conftrace_

alternating bisimulation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic control (1) set-valued map (1) safety controller (1) monotone system (1) controller synthesis (1) dynamical system (1)

Papers

Data-Driven Abstraction of Monotone Systems L4DC 2021