Cross-Disciplinary Challenges for Autonomous Systems
Papers from the AAAI Fall Symposium
Laura Humphrey, Ufuk Topcu, Satinder Singh, Chris Miller, Moshe Vardi, Organizers
Technical Report FS-16-03
Published by The AAAI Press, Palo Alto, California.
This technical report has been published as a section in The 2016 AAAI Fall Symposium Series: Technical Reports.
Contents
Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework
Braulio Coronado, Eric Gustafson, John Reeder, Douglas S. Lange
Courses of Action Display for Multi-Unmanned Vehicle Control: A Multi-Disciplinary Approach
Michael Hansen, Gloria Calhoun, Scott Douglass, Dakota Evans
Probabilistic Verification for Cognitive Models
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
Social Trust: A Major Challenge for the Future of Autonomous Systems
Morteza Lahijanian, Marta Kwiatkowska
Reduction of the State Observation Problem to an Identifiability Problem
Masataka Nishi
ActorSim, A Toolkit for Studying Cross-Disciplinary Challenges in Autonomy
Mark Roberts, Laura M. Hiatt, Alexandra Coman, Dongkyu Choi, Benjamin Johnson, David W. Aha
Extended Abstract: Formal Design of Cooperative Multi-Agent Systems
Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
Trust-Based Symbolic Robot Motion Planning with Human-in-the-Loop
Yue Wang
Seeking Human-Centered Autonomous Systems Capabilities in a Machine-Centered Development Environment
Shu-Chieh Wu