Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Conference
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Classification of Time-Series Data Using Boosted Decision Trees
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
Pages
