Artiklar med krav på offentlig åtkomst - Montserrat HermoLäs mer
Inte tillgängliga någonstans: 3
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
A Abuin, A Bolotov, M Hermo, P Lucio
Journal of Logical and Algebraic Methods in Programming 130, 100828, 2023
Krav: European Commission
Towards an efficient implementation of a tableau method for reactive safety specifications
A Alonso, M Hermo, J Oca
Journal of Logical and Algebraic Methods in Programming 142, 101003, 2025
Krav: European Commission
Towards the exact complexity of realizability for Safety LTL
N Arteche, M Hermo
Journal of Logical and Algebraic Methods in Programming 141, 101002, 2024
Krav: Knut och Alice Wallenbergs Stiftelse, European Commission
Tillgängliga någonstans: 4
Exact learning: On the boundary between horn and CNF
M Hermo, A Ozaki
ACM Transactions on Computation Theory (TOCT) 12 (1), 1-25, 2020
Krav: Government of Spain
Tableaux for realizability of safety specifications
M Hermo, P Lucio, C Sánchez
International Symposium on Formal Methods, 495-513, 2023
Krav: European Commission, Government of Spain
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
J Oca, M Hermo, A Bolotov
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2024
Krav: European Commission
Verified Model Checking for Conjunctive Positive Logic
A Abuin, UD de Cerio, M Hermo, P Lucio
SN Computer Science 2 (5), 344, 2021
Krav: Government of Spain
Publikations- och finansieringsuppgifter tas fram automatiskt av ett datorprogram.