conftrace_

autonomous system

63 papers

Explore in graph

Also known as

AS

Co-occurring keywords

formal verification (284) autonomous agent (168) artificial intelligence (29) safety verification (28) explainable ai (480) trajectory prediction (489) reinforcement learning (4352) real-time system (34) human-ai interaction (202) linear temporal logic (82)

Papers

From Lab to Internship and Back Again: Learning Autonomous Systems through Creating a Research and Development Ecosystem AAAI 2019
Reachable Space Characterization of Markov Decision Processes with Time Variability RSS 2019
Online Probabilistic Goal Recognition over Nominal Models IJCAI 2019
Stable and Practical AS Relationship Inference with ProbLink NSDI 2019
Autonomous Adaptive Modification of Unstructured Environments RSS 2018
Artificial Argumentation for Humans IJCAI 2018
Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018
Algorithmic Bias in Autonomous Systems IJCAI 2017
From Automation to Autonomous Systems: A Legal Phenomenology with Problems of Accountability IJCAI 2017
Responsible Autonomy IJCAI 2017
On Automating the Doctrine of Double Effect IJCAI 2017
Towards Trust, Transparency and Liability in AI / AS systems IJCAI 2017
Towards an Autarkic Embedded Cognitive User Interface INTERSPEECH 2017