Search Constraints
Search Results
Select an image to start the slideshow
Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications
1 of 5
Secure Control for Autonomous Cyber-Physical Systems Under Temporal Logic Constraints
2 of 5
Non-Submodular Combinatorial Optimization in Control Systems: Efficient Algorithms with Provable Bounds
3 of 5
INTERACTIVE ROUTE-PLANNING AND MOBILE SENSING WITH A TEAM OF MULTIPLE ROBOTIC VEHICLES TO SATISFY LINEAR TEMPORAL LOGIC SPECIFICATIONS
4 of 5
Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications
5 of 5