Sfoglia per Serie
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
2021-01-01 Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
2021-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Venturato, Gabriele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans | 1-gen-2021 | Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo | |
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker | 1-gen-2021 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Venturato, Gabriele |
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