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

FGPrompt: Fine-grained Goal Prompting for Image-goal Navigation NIPS 2023
Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework (Extended Abstract) IJCAI 2023
MarS3D: A Plug-and-Play Motion-Aware Model for Semantic Segmentation on Multi-Scan 3D Point Clouds CVPR 2023
Safety Validation of Learning-Based Autonomous Systems: A Multi-Fidelity Approach AAAI 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023
Towards Safe and Resilient Autonomy in Multi-Robot Systems AAAI 2023
Model-based Validation as Probabilistic Inference L4DC 2023
Risk-Driven Design of Perception Systems NIPS 2022
Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract) IJCAI 2022
Adaptive Information Belief Space Planning IJCAI 2022
Collaborative Decision Making Using Action Suggestions NIPS 2022
A Causal Analysis of Harm NIPS 2022
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise AAAI 2022
Save Your Voice: Voice Banking and TTS for Anyone INTERSPEECH 2021
Ethically Compliant Sequential Decision Making AAAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
Distributional Metareasoning for Heuristic Search IJCAI 2021
A Review of Robot Learning for Manipulation: Challenges, Representations, and Algorithms JMLR 2021
Running BGP in Data Centers at Scale NSDI 2021
AI Sensing for Robotics using Deep Learning based Visual and Language Modeling ACL 2020
A Framework for Engineering Human/Agent Teaming Systems AAAI 2020
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes AAAI 2020
Counterfactual Programming for Optimal Control L4DC 2020
Efficiently Combining Human Demonstrations and Interventions for Safe Training of Autonomous Systems in Real-Time AAAI 2019
Corpus of Multimodal Interaction for Collaborative Planning NAACL 2019