Author of the publication

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

, , , , and . FormaliSE, page 18-28. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Complexity of Reversal-Bounded Model-Checking., and . FroCoS, volume 6989 of Lecture Notes in Computer Science, page 71-86. Springer, (2011)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)A Timed Semantics of Workflows., , , and . ICSOFT (Selected Papers), volume 555 of Communications in Computer and Information Science, page 365-383. Springer, (2014)Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap., , , , , and . ICPE Companion, page 139-144. ACM, (2017)Improved Bounded Model Checking of Timed Automata., , , and . FormaliSE@ICSE, page 97-110. IEEE, (2021)A tool for verification of big-data applications., , , and . QUDOS@ISSTA, page 44-45. ACM, (2016)Engineering of Trust Analysis-Driven Digital Twins for a Medical Device., , , , , and . ECSA (Tracks and Workshops), volume 13928 of Lecture Notes in Computer Science, page 467-482. Springer, (2022)Architecting Explainable Service Robots., , , , , and . ECSA, volume 14212 of Lecture Notes in Computer Science, page 153-169. Springer, (2023)Trace Checking of Streaming Applications through DICE-TraCT., , and . ICPE Companion, page 159-160. ACM, (2018)DevOps Service Observability By-Design: Experimenting with Model-View-Controller., , , and . ESOCC, volume 11116 of Lecture Notes in Computer Science, page 49-64. Springer, (2018)