Classification of Time-Series Data Using Boosted Decision Trees Tags: Temporal Login InferenceBoostingDecision TreesSignal Temporal LogicAutonomous Car Read more about Classification of Time-Series Data Using Boosted Decision Trees
Fair Planning for Mobility-on-Demand with Temporal Logic Requests Tags: Fair AssignmentFormal MethodsMulti-Agent SystemsRoutingInteger Linear ProgrammingAutomata Read more about Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints Tags: Formal MethodsSignal Temporal LogicMixed Integer Linear ProgrammingModular RobotsMulti-Robot Systems Read more about Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems Tags: Formal MethodsSignal Temporal LogicPartial SatisfactionMixed Integer Linear ProgrammingMulti-Robot Systems Read more about Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning Tags: Motion and Path PlanningAutomataAutonomous CarLinear Temporal LogicMinimum-Violation Read more about When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor Tags: Autonomous CarMachine Learning Read more about Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor
Differentiable Logic Layer for Rule Guided Trajectory Prediction Tags: Autonomous CarMachine Learning Read more about Differentiable Logic Layer for Rule Guided Trajectory Prediction
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot Tags: Aerial RoboticsMulti-Robot Systems Read more about Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
Automata-based Optimal Planning with Relaxed Specifications Tags: AutomataUser PreferencesControl SynthesisTemporal RelaxationTime-Window Temporal LogicLinear Temporal Logic Read more about Automata-based Optimal Planning with Relaxed Specifications
A Control Architecture for Provably-Correct Autonomous Driving Tags: Autonomous CarModel Predictive ControlControl SynthesisMixed Integer Linear Programming Read more about A Control Architecture for Provably-Correct Autonomous Driving