Sfoglia per Rivista FORMAL ASPECTS OF COMPUTING
Mostrati risultati da 1 a 2 di 2
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Tight Error Analysis in Fixed-point Arithmetic
2022-01-01 Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers | 1-gen-2020 | Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo | |
| Tight Error Analysis in Fixed-point Arithmetic | 1-gen-2022 | Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco |
Mostrati risultati da 1 a 2 di 2
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