Publications in collaboration with researchers from University of Westminster (6)

2023

  1. 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