Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 4 di 4
Titolo Data di pubblicazione Autore(i) File
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Which fragments of the interval temporal logic HS are tractable in model checking? 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 1-gen-2022 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Mostrati risultati da 1 a 4 di 4
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile