Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A Conversational Agent to Support Hospital Bed Allocation | 2021 | |||
Engineering Explainable Agents: An Argumentation-Based Approach | 2021 | |||
Dial4JaCa - A Communication Interface Between Multi-agent Systems and Chatbots | 2021 | |||
Introduction to Runtime Verification | 2018 | |||
Introduction to Runtime Verification | 2018 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The black-box simplex architecture for runtime assurance of multi-agent CPS | Innovations in Systems and Software Engineering |
| 2024 |
Category | Category Repetition |
---|---|
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software | 1 |