12 citations · 37 across the 12 of their papers we have counts for
1 paper · 2 filters
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos +1
Synthesis from linear temporal logic (LTL) specifications provides assured controllers for systems operating in stochastic and potentially adversarial environments. Automatic synth…