No. 3: Cross-Disciplinary Challenges for Autonomous Systems

All Papers

• Probabilistic Verification for Cognitive Models

  Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu

  PDF

• Social Trust: A Major Challenge for the Future of Autonomous Systems

  Morteza Lahijanian, Marta Kwiatkowska

  PDF

• Reduction of the State Observation Problem to an Identifiability Problem

  Masataka Nishi

  PDF

• ActorSim, A Toolkit for Studying Cross-Disciplinary Challenges in Autonomy

  Mark Roberts, Laura M. Hiatt, Alexandra Coman, Dongkyu Choi, Benjamin Johnson, David W. Aha

  PDF

• Extended Abstract: Formal Design of Cooperative Multi-Agent Systems

  Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin

  PDF

• Trust-Based Symbolic Robot Motion Planning with Human-in-the-Loop

  Yue Wang

  PDF

• Seeking Human-Centered Autonomous Systems Capabilities in a Machine-Centered Development Environment

  Shu-Chieh Wu

  PDF

• Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework

  Braulio Coronado, Eric Gustafson, John Reeder, Douglas S. Lange

  PDF

• Courses of Action Display for Multi-Unmanned Vehicle Control: A Multi-Disciplinary Approach

  Michael Hansen, Gloria Calhoun, Scott Douglass, Dakota Evans

  PDF