Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
autonomous systems
Papers
Reinforcement Learning in Robotics: from Theory to Real-World Applications
Lia Don
EasyChair Preprint no. 12537
Robotic Motion Planning as a Crucial Aspect of Autonomous Systems
Lee Kasowaki
and
Arooj Fatima
EasyChair Preprint no. 11532
Closed-Loop ACAS Xu Neural Network Verification
Sanaz Sheikhi
and
Stanley Bak
In
:
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Value Sensitive Design Meets Participatory Value Evaluation for Autonomous Systems in Defence
Christine Boshuijzen-van Burken
,
Shannon Spruit
,
Lotte Fillerup
and
Niek Mouter
EasyChair Preprint no. 9891
Real-Time Localization for Mobile Machines by Fusing Barometric Altitude Measurements with Surface Profiles
Lukas Michiels
,
Benjamin Kazenwadel
,
Simon Becker
and
Marcus Geimer
EasyChair Preprint no. 8343
Distributed Autonomous Systems
Hoang-Dung Tran
,
Luan Viet Nguyen
,
Weiming Xiang
and
Taylor T. Johnson
In
:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Robotics, Temporal Logic and Stream Reasoning
Patrick Doherty
,
Fredrik Heintz
and
Jonas Kvarnström
In
:
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2024 easychair.org. All rights reserved.