Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems von Wongpiromsarn, Tichakorn, Topcu, Ufuk, Lamperski, Andrew

Volltext

Receding Horizon Temporal Logic Planning von Wongpiromsarn, T., Topcu, U., Murray, R. M.

Volltext

Correct, Reactive, High-Level Robot Control von Kress-Gazit, Hadas, Wongpiromsarn, Tichakorn, Topcu, Ufuk

Volltext

Road Pricing Design Based on Game Theory and Multi-agent Consensus von Xiao, Nan, Wang, Xuehe, Xie, Lihua, Wongpiromsarn, Tichakorn, Frazzoli, Emilio, Rus, Daniela

Volltext

Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning von Wongpiromsarn, Tichakorn, Kallmann, Marcelo, Kolling, Andreas

Volltext

MLTL Multi-type: A Typed Logic for Cyber-Physical Systems von Hariharan, Gokul, Kempa, Brian, Wongpiromsarn, Tichakorn, Jones, Phillip, Rozier, Kristin

Volltext

Incremental controller synthesis in probabilistic environments with temporal logic constraints von Ulusoy, Alphan, Wongpiromsarn, Tichakorn, Belta, Calin

Volltext

Capacity-Aware Backpressure Traffic Signal Control von Gregoire, Jean, Xiangjun Qian, Frazzoli, Emilio, de La Fortelle, Arnaud, Wongpiromsarn, Tichakorn

Volltext

Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving von Karlsson, Jesper

Volltext bestellen

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems von Aurandt, Alexis, Jones, Phillip H., Rozier, Kristin Yvonne, Wongpiromsarn, Tichakorn

Volltext

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

Minimum-Violation Traffic Management for Urban Air Mobility von Bharadwaj, Suda, Wongpiromsarn, Tichakorn, Neogi, Natasha, Muffoletto, Joseph, Topcu, Ufuk

Volltext

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints von Johannsen, Chris, Kempa, Brian, Jones, Phillip H., Rozier, Kristin Y., Wongpiromsarn, Tichakorn

Volltext

Maximum Satisfiability of Mission-Time Linear Temporal Logic von Hariharan, Gokul, Jones, Phillip H., Rozier, Kristin Yvonne, Wongpiromsarn, Tichakorn

Volltext

Autonomous vehicle operation using linear temporal logic von Tichakorn Wongpiromsarn

Volltext bestellen

AUTONOMOUS VEHICLE OPERATION USING LINEAR TEMPORAL LOGIC von Wongpiromsarn, Tichakorn

Volltext bestellen