Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception Tags: Control SynthesisActive ExplorationPerception-AwareIncremental Symbolic PerceptionAutomataMixed Integer Linear ProgrammingGround Robotics Read more about Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Tags: Formal MethodsPerception-AwareIncremental Symbolic PerceptionReactive SynthesisControl SynthesisAutonomous Car Read more about Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers