Automata
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Automata-based Optimal Planning with Relaxed Specifications
Learning An Explainable Trajectory Generator Using The Automaton Generative Network (AGN)
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Pages
