Sfoglia per Autore
Good-for-Game QPTL: An Alternating Hodges Semantics
2023-01-01 Bellier, D.; Benerecetti M, .; Della Monica, D.; Mogavero, F.
Monitors that Learn from Failures: Pairing STL and Genetic Programming
2023-01-01 Brunello, A.; Della Monica, D.; Montanari, A.; Saccomanno, N.; Urgolo, A.
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
2023-01-01 Della Monica, D.; Montanari, A.; Puppis, G.; Sala, P.
Alternating ({I}n){D}ependence-{F}riendly {L}ogic
2023-01-01 Bellier, Dylan; Benerecetti, Massimo; DELLA MONICA, Dario; Mogavero, Fabio
An interval temporal logic characterization of extended ω-regular languages
2023-01-01 Della Monica, D.; Montanari, A.; Sala, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Good-for-Game QPTL: An Alternating Hodges Semantics | 1-gen-2023 | Bellier, D.; Benerecetti M, .; Della Monica, D.; Mogavero, F. | |
Monitors that Learn from Failures: Pairing STL and Genetic Programming | 1-gen-2023 | Brunello, A.; Della Monica, D.; Montanari, A.; Saccomanno, N.; Urgolo, A. | |
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* | 1-gen-2023 | Della Monica, D.; Montanari, A.; Puppis, G.; Sala, P. | |
Alternating ({I}n){D}ependence-{F}riendly {L}ogic | 1-gen-2023 | Bellier, Dylan; Benerecetti, Massimo; DELLA MONICA, Dario; Mogavero, Fabio | |
An interval temporal logic characterization of extended ω-regular languages | 1-gen-2023 | Della Monica, D.; Montanari, A.; Sala, P. |
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