AMINOF, BENJAMIN
AMINOF, BENJAMIN
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
2022 Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, F.
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
2024 Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
2023 Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S.
Reactive Synthesis of Dominant Strategies
2023 Aminof, B.; De Giacomo, G.; Rubin, S.
Stochastic Best-Effort Strategies for Borel Goals
2023 Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments | 2022 | Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, F. | |
| Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments | 2024 | Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha | |
| LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties | 2023 | Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S. | |
| Reactive Synthesis of Dominant Strategies | 2023 | Aminof, B.; De Giacomo, G.; Rubin, S. | |
| Stochastic Best-Effort Strategies for Borel Goals | 2023 | Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, F. |