IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 55
Titolo Tipologia Data di pubblicazione Autore(i) File
Model checking interval temporal logics with regular expressions 1.1 Articolo in rivista 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking Timeline-based Systems over Dense Temporal Domains? 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
The complexity of model checking knowledge and time 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Maubert, B.; Murano, A.
Taming the complexity of timeline-based planning over dense temporal domains 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Interval temporal logic for visibly pushdown systems 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity analysis of a unifying algorithm for model checking interval temporal logic 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Interval vs. point temporal logic model checking: An expressiveness comparison 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Which fragments of the interval temporal logic HS are tractable in model checking? 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Visibly Linear Temporal Logic 1.1 Articolo in rivista 2018 Bozzelli, L.; Sanchez, C.
Decidability and complexity of timeline-based planning over dense temporal domains 4.1 Articoli in Atti di convegno 2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Results on Alternating-Time Temporal Logics with Linear Past 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1.1 Articolo in rivista 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Event-Clock Nested Automata 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Timed context-free temporal logics 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
On the complexity of ATL and ATL* module checking 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, P. i. e. t. r. o.
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Hierarchical cost-parity games 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Mostrati risultati da 21 a 40 di 55
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