Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. | 0 | 0.34 | 2022 |
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. | 0 | 0.34 | 2022 |
Extending Attack-Fault Trees with Runtime Verification. | 0 | 0.34 | 2022 |
Towards Partial Monitoring: It is Always too Soon to Give Up. | 0 | 0.34 | 2021 |
An Interface for Programming Verifiable Autonomous Agents in ROS. | 0 | 0.34 | 2020 |
Runtime Verification of the ARIAC Competition - Can a Robot be Agile and Safe at the same time? | 0 | 0.34 | 2020 |
Adaptable and Verifiable BDI Reasoning. | 0 | 0.34 | 2020 |
ROSMonitoring - A Runtime Verification Framework for ROS. | 0 | 0.34 | 2020 |
Plan Library Reconfigurability in BDI Agents. | 0 | 0.34 | 2019 |