Publicaciones en colaboración con investigadoras/es de University of Westminster (7)

2024

  1. A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification

    Proceedings -Design, Automation and Test in Europe, DATE

2023

  1. Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends

    Information Fusion, Vol. 100

  2. Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models

    Journal of Logical and Algebraic Methods in Programming, Vol. 130

2020

  1. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+

    Theoretical Computer Science, Vol. 813, pp. 428-451

  2. One-pass context-based tableaux systems for CTL and ECTL

    Leibniz International Proceedings in Informatics, LIPIcs

2019

  1. Towards certified model checking for PLTL using one-pass tableaux

    Leibniz International Proceedings in Informatics, LIPIcs

2018

  1. Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach

    Leibniz International Proceedings in Informatics, LIPIcs