Showing 1 - 3 results of 3 for search 'Aminof, B', query time: 0.02s
Refine Results
-
1
Stochastic best-effort strategies for Borel goals by Aminof, B, De Giacomo, G, Rubin, S, Zuleger, F
Published 2023Conference item -
2
Probabilistic strategy logic by Aminof, B, Kwiatkowska, M, Maubert, B, Murano, A, Rubin, S
Published 2019Conference item -
3
LTLf synthesis under environment specifications for reachability and safety properties by Aminof, B, De Giacomo, G, Di Stasio, A, Francon, H, Rubin, S, Zhu, S
Published 2023Conference item