conftrace_

linear temporal logic over finite trace

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

strategy synthesis (2) linear temporal logic (2) deterministic büchi automata (1) switched system (1) nonlinear disturbance (1) robust value iteration (1) deterministic automaton (1) game solving (1) ambiguity set (1) data-driven control (1)

Papers

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021