Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California

Source URL: shukla.io

• Theoretical computer science
• Logic in computer science
• Logic programming
• Mathematics
• Mathematical logic
• Fluent
• Situation calculus
• Event calculus
• Utility
• Artificial neural network
• Robotics
• Robot

Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Theoretical computer science
• Cognitive science
• Logic in computer science
• Cybernetics
• Logic
• Artificial intelligence
• Runtime verification
• Intelligent agent
• Model checking
• Motivation
• Autonomy

A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract

Source URL: shukla.io

• Metaphysics
• Cybernetics
• Logic
• Computational neuroscience
• Human behavior
• Robotics
• Human communication
• Humanrobot interaction
• Multimodal interaction
• Image segmentation
• Artificial intelligence
• Knowledge

PDF Document

Source URL: local-autonomy.andreasladner.ch

PDF Document

Source URL: autonomy.cs.sfu.ca

PDF Document

Source URL: autonomy.essex.ac.uk

PDF Document

Source URL: www.autonomy.paris

Duckietown: an Open, Inexpensive and Flexible Platform for Autonomy Education and Research Liam Paull, Jacopo Tani, Heejin Ahn, Javier Alonso-Mora, Luca Carlone, Michal Cap, Yu Fan Chen, Changhyun Choi, Jeff Dusek, Yajun

Source URL: people.csail.mit.edu

Supporting task-oriented collaboration in human-robot teams using semantic-based path planning Daqing Yi and Michael A. Goodrich Brigham Young University, Provo, UT, USA ABSTRACT Improvements in robot autonomy are changi

Source URL: faculty.cs.byu.edu

Lab1: Robust Execution Tutorials and Labs Day 1: Robust Execution Introduction 1: Architectures for Autonomy Tutorial 2: Self-Monitoring, Self-Diagnosing Systems

Source URL: cognitive-robotics17.csail.mit.edu

• Robotics
• Automated planning and scheduling
• Motion planning
• Theoretical computer science
• Tutorial
• Robot
• Trajectory optimization
• Artificial intelligence
• Software