| Advising Autonomous Cars about the Rules of the Road. | 0 | 0.34 | 2022 |
| Extending Attack-Fault Trees with Runtime Verification. | 0 | 0.34 | 2022 |
| Plan Library Reconfigurability in BDI Agents. | 0 | 0.34 | 2019 |
| The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. | 0 | 0.34 | 2019 |
| Making Sense of the World: Models for Reliable Sensor-Driven Systems. | 0 | 0.34 | 2018 |
| Slicing Agent Programs for More Efficient Verification. | 0 | 0.34 | 2018 |
