Suchergebnisse - Logic and constraint programming. Keywords and phrases automata theory

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints von Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.

“… We construct a dynamic programming problem over the product of the underlying continuous-time, continuous-state system and the discrete specification automaton …”
Volltext