• Published

  Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

  Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 2/09/2023, Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham: Springer, p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Published

  Bridging the gap between single- and multi-model predictive runtime verification

  Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

  Research output: Contribution to Journal/Magazine › Journal article › peer-review

• Published

  Local Reductions for the Modal Cube

  Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

View all (24) »