Sfoglia per Correlatore MENGHI, CLAUDIO
Mostrati risultati da 1 a 4 di 4
Building deductive proofs of LTL properties for iteratively refined systems
2014/2015 BERNASCONI, ANNA
Path planning of collaborative robots dealing with real maps and explicit time concerns
2016/2017 BELLI, GABRIELE
SMT-based trace checking of CPS properties
2019/2020 VIGANÒ, ENRICO
User-friendly controller synthesis for multi-agent robotic applications in presence of agents with unknown behavior
2017/2018 SOLDO, MATTEO
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2015-07-28 | Tesi di laurea Magistrale | Building deductive proofs of LTL properties for iteratively refined systems | BERNASCONI, ANNA | |
| 2018-04-19 | Tesi di laurea Magistrale | Path planning of collaborative robots dealing with real maps and explicit time concerns | BELLI, GABRIELE | |
| 2020-12-15 | Tesi di laurea Magistrale | SMT-based trace checking of CPS properties | VIGANÒ, ENRICO | |
| 2019-04-16 | Tesi di laurea Magistrale | User-friendly controller synthesis for multi-agent robotic applications in presence of agents with unknown behavior | SOLDO, MATTEO |
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili