Picture for Mac Schwager

Mac Schwager

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning

Oct 22, 2015
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

Figure 1 for Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning

Figure 2 for Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning

Figure 3 for Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning

Figure 4 for Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning

* 8 pages, 4 figures

Access Paper or Ask Questions

Correlated Orienteering Problem and it Application to Persistent Monitoring Tasks

Dec 15, 2014
Jingjin Yu, Mac Schwager, Daniela Rus

Figure 1 for Correlated Orienteering Problem and it Application to Persistent Monitoring Tasks

Figure 2 for Correlated Orienteering Problem and it Application to Persistent Monitoring Tasks

Figure 3 for Correlated Orienteering Problem and it Application to Persistent Monitoring Tasks

Figure 4 for Correlated Orienteering Problem and it Application to Persistent Monitoring Tasks

* Extended version, 18 pages

Access Paper or Ask Questions

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Sep 09, 2013
Austin Jones, Mac Schwager, Calin Belta

Figure 1 for Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Figure 2 for Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Figure 3 for Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Figure 4 for Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

* More expanded version of "Distribution Temporal Logic: Combining Correctness with Quality of Estimation" to appear in IEEE CDC 2013

Access Paper or Ask Questions

Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints

Jan 31, 2013
Austin Jones, Mac Schwager, Calin Belta

Figure 1 for Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints

Figure 2 for Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints

* Extended version of paper accepted to 2013 IEEE International Conference on Robotics and Automation (ICRA)

Access Paper or Ask Questions

Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments

Feb 03, 2011
Stephen L. Smith, Mac Schwager, Daniela Rus

Figure 1 for Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments

Figure 2 for Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments

Figure 3 for Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments

Figure 4 for Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments

* This is an expanded version of a paper at ICRA 2011. This expanded version has been submitted to the IEEE Transactions on Robotics

Access Paper or Ask Questions