Sfoglia per Autore
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Decidability and complexity of timeline-based planning over dense temporal domains
2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
2018 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Evaluation of temporal datasets via interval temporal logic model checking
2017 Monica, Dario Della; De Frutos-escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions
2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling
2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| 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 | |
| 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. | |
| Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives | 1.1 Articolo in rivista | 2018 | Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
| Evaluation of temporal datasets via interval temporal logic model checking | 4.1 Articoli in Atti di convegno | 2017 | Monica, Dario Della; De Frutos-escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido | |
| On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo | |
| Interval temporal logic model checking based on track bisimilarity and prefix sampling | 4.1 Articoli in Atti di convegno | 2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro |
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