14 citations · 56 across the 22 of their papers we have counts for
7 papers · 1 filter
Approximate Multi-Objective Search Under Rulebooks
Omar Muhammetkulyyev, Oren Salzman, Tichakorn Wongpiromsarn
Robotic planning often involves multiple objectives with complex priority relationships, such as safety, efficiency, and regulatory compliance. Rulebooks formalize these relationsh…
ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
Kevin Kai-Chun Chang, Ekin Beyazit, Alberto Sangiovanni-Vincentelli +2
Developing autonomous driving systems for complex traffic environments requires balancing multiple objectives, such as avoiding collisions, obeying traffic rules, and making effici…
Incorporating System-level Safety Requirements in Perception Models via Reinforcement Learning
Weisi Fan, Jesse Lane, Qisai Liu +2
Perception components in autonomous systems are often developed and optimized independently of downstream decision-making and control components, relying on established performance…
Evaluation Metrics for Object Detection for Autonomous Systems
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
This paper studies the evaluation of learning-based object detection models in conjunction with model-checking of formal specifications defined on an abstract model of an autonomou…
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli +1
This paper considers the problem of computing an optimal trajectory for an autonomous system that is subject to a set of potentially conflicting rules. First, we introduce the conc…
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…