


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














