Hizkuntza eta Sistema Informatikoak
Saila
University of Westminster
Londres, Reino UnidoUniversity of Westminster-ko ikertzaileekin lankidetzan egindako argitalpenak (5)
2023
-
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
-
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
Theoretical Computer Science, Vol. 813, pp. 428-451
-
One-pass context-based tableaux systems for CTL and ECTL
Leibniz International Proceedings in Informatics, LIPIcs
2019
-
Towards certified model checking for PLTL using one-pass tableaux
Leibniz International Proceedings in Informatics, LIPIcs
2018
-
Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach
Leibniz International Proceedings in Informatics, LIPIcs