1. Chris Baber , Tulin Cengiz , and Manish Parekh . 2014. Tool use as distributed cognition: how tools help, hinder and define manual skill. Frontiers in Psychology 5 ( 2014 ). https://doi.org/10.3389/fpsyg.2014.00116 10.3389/fpsyg.2014.00116 Chris Baber, Tulin Cengiz, and Manish Parekh. 2014. Tool use as distributed cognition: how tools help, hinder and define manual skill. Frontiers in Psychology 5 (2014). https://doi.org/10.3389/fpsyg.2014.00116
2. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking.
3. Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donzé , Georgios Fainekos , Oded Maler , Dejan Ni?kovi?, and Sriram Sankaranarayanan . 2018. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Appli- cations . In Lectures on Runtime Verification: Introductory and Advanced Topics . Springer , 135--175. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ni?kovi?, and Sriram Sankaranarayanan. 2018. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Appli- cations. In Lectures on Runtime Verification: Introductory and Advanced Topics. Springer, 135--175.
4. Sampling-based motion planning with temporal goals
5. Rapid Skill Capture in a First-Person Shooter