2 citations · 4 across the 3 of their papers we have counts for
3 papers
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the u…
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta +2
We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modele…
Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications
Tichakorn Wongpiromsarn, Emilio Frazzoli
We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifi…