Publications

@inproceedings{araujo2023kaspar,

title = {Kaspar Causally Explains},

author = {Hugo Araujo and Patrick Holthaus and Marina Sarda Gou and Gabriella Lakatos and Giulia Galizia and Luke Wood and Ben Robins and Mohammad Reza Mousavi and Farshid Amirabdollahian},

year  = {2023},

date = {2023-03-01},

booktitle = {Social Robotics: 14th International Conference, ICSR 2022, Florence, Italy, December 13--16, 2022, Proceedings, Part II},

pages = {85--99},

organization = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{wright2022formally,

title = {Formally verified self-adaptation of an incubator digital twin},

author = {Thomas Wright and Cláudio Gomes and Jim Woodcock},

year  = {2023},

date = {2023-03-01},

urldate = {2023-03-01},

booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22--30, 2022, Proceedings, Part IV},

pages = {89--109},

organization = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}