Search Constraints
Search Results
Select an image to start the slideshow
Non-Submodular Combinatorial Optimization in Control Systems: Efficient Algorithms with Provable Bounds
1 of 5
INTERACTIVE ROUTE-PLANNING AND MOBILE SENSING WITH A TEAM OF MULTIPLE ROBOTIC VEHICLES TO SATISFY LINEAR TEMPORAL LOGIC SPECIFICATIONS
2 of 5
Interactive Planning and Sensing for Aircraft in Uncertain Environments with Spatiotemporally Evolving Threats
3 of 5
Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications
4 of 5
Adaptive distributed observers for a class of linear dynamical systems
5 of 5