conftrace_

set-valued map

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic control (1) alternating bisimulation (1) safety controller (1) monotone system (1) controller synthesis (1) dynamical system (1)

Papers

Data-Driven Abstraction of Monotone Systems L4DC 2021