|
|
|
|
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.  |
AREA@ECAI  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Godet, Charles Lesire, Arthur Bit-Monnot |
Multi-Robot Task Planning to Secure Human Group Progress. |
AREA@ECAI |
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. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Athanasios Lentzas, Dimitris Vrakas |
From Robot Self-Localization to Global-Localization: An RSSI Based Approach. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Catta, Vadim Malvone, Aniello Murano |
Reasoning about Intuitionistic Computation Tree Logic. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Caroline Bonhomme, Jean-Louis Dufour |
ORTAC+ : A User Friendly Domain Specific Language for Multi-Agent Mission Planning. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Blumenthal, Guy Shani |
Rollout Heuristics for Online Stochastic Contingent Planning. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher R. Anderson, Louise A. Dennis |
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Signer, Ian Gray |
Adaptive Application Behaviour for Robot Swarms using Mixed-Criticality. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vermaelen, Tom Holvoet |
Safe and Robust Robot Behavior Planning via Constraint Programming. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Malvone |
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. |
AREA@ECAI |
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. |
AREA@ECAI |
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. |
AREA@ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari |
Engineering Reliable Interactions in the Reality-Artificiality Continuum. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein |
Improving Competence for Reliable Autonomy. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi 0001 |
Statistical Model Checking of Human-Robot Interaction Scenarios. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Victoria Edwards, Loy McGuire, Signe A. Redfield |
Establishing Reliable Robot Behavior using Capability Analysis Tables. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuomas Halvari, Jukka K. Nurminen, Tommi Mikkonen |
Testing the Robustness of AutoML Systems. |
AREA@ECAI |
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. |
AREA@ECAI |
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. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chidiebere Onyedinma, Patrick Gavigan, Babak Esfandiari |
Toward Campus Mail Delivery Using BDI. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleonora Iotti, Giuseppe Petrosino, Stefania Monica, Federico Bergenti |
Exploratory Experiments on Programming Autonomous Robots in Jadescript. |
AREA@ECAI |
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. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Stringer, Rafael C. Cardoso 0001, Xiaowei Huang 0001, Louise A. Dennis |
Adaptable and Verifiable BDI Reasoning. |
AREA@ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license