default search action
1st AREA@ECAI 2020 (virtual event)
- Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 - Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler:
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. 1-8 - Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Statistical Model Checking of Human-Robot Interaction Scenarios. 9-17 - Victoria Edwards, Loy McGuire, Signe A. Redfield:
Establishing Reliable Robot Behavior using Capability Analysis Tables. 19-35 - Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein:
Improving Competence for Reliable Autonomy. 37-53 - Eleonora Iotti, Giuseppe Petrosino, Stefania Monica, Federico Bergenti:
Exploratory Experiments on Programming Autonomous Robots in Jadescript. 55-67 - Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari:
Engineering Reliable Interactions in the Reality-Artificiality Continuum. 69-80 - Simón C. Smith, Subramanian Ramamoorthy:
Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study. 81-101 - Tuomas Halvari, Jukka K. Nurminen, Tommi Mikkonen:
Testing the Robustness of AutoML Systems. 103-116 - Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. 117-125 - Chidiebere Onyedinma, Patrick Gavigan, Babak Esfandiari:
Toward Campus Mail Delivery Using BDI. 127-143
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.