|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Angelo Ferrando 0001, Rafael Cardoso (eds.) |
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Godet, Charles Lesire, Arthur Bit-Monnot |
Multi-Robot Task Planning to Secure Human Group Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 113-126, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Déborah Conforto Nedelmann, Jérôme Lacan, Caroline P. C. Chanel |
Online Proactive Multi-Task Assignment with Resource Availability Anticipation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 3-17, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Lentzas, Dimitris Vrakas |
From Robot Self-Localization to Global-Localization: An RSSI Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 18-25, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Catta, Vadim Malvone, Aniello Murano |
Reasoning about Intuitionistic Computation Tree Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 42-48, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Caroline Bonhomme, Jean-Louis Dufour |
ORTAC+ : A User Friendly Domain Specific Language for Multi-Agent Mission Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 127-133, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Oded Blumenthal, Guy Shani |
Rollout Heuristics for Online Stochastic Contingent Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 89-101, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher R. Anderson, Louise A. Dennis |
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 83-88, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sven Signer, Ian Gray |
Adaptive Application Behaviour for Robot Swarms using Mixed-Criticality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 71-82, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vermaelen, Tom Holvoet |
Safe and Robust Robot Behavior Planning via Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 26-41, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Malvone |
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 63-70, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini |
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 102-112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Abela, Christian Colombo 0001, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando 0001 |
Runtime Verification for Trustworthy Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023., pp. 49-62, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari |
Engineering Reliable Interactions in the Reality-Artificiality Continuum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 69-80, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein |
Improving Competence for Reliable Autonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 37-53, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi 0001 |
Statistical Model Checking of Human-Robot Interaction Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 9-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victoria Edwards, Loy McGuire, Signe A. Redfield |
Establishing Reliable Robot Behavior using Capability Analysis Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 19-35, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tuomas Halvari, Jukka K. Nurminen, Tommi Mikkonen |
Testing the Robustness of AutoML Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 103-116, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rafael C. Cardoso 0001, Angelo Ferrando 0001, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht (eds.) |
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Askarpour, Matteo Rossi 0001, Omer Tiryakiler |
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 1-8, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chidiebere Onyedinma, Patrick Gavigan, Babak Esfandiari |
Toward Campus Mail Delivery Using BDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 127-143, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eleonora Iotti, Giuseppe Petrosino, Stefania Monica, Federico Bergenti |
Exploratory Experiments on Programming Autonomous Robots in Jadescript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 55-67, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simón C. Smith, Subramanian Ramamoorthy |
Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 81-101, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Stringer, Rafael C. Cardoso 0001, Xiaowei Huang 0001, Louise A. Dennis |
Adaptable and Verifiable BDI Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREA@ECAI ![In: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020., pp. 117-125, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|