- Tytuł:
- Efficient choice of parameters on delta-reachability bounded hybrid systems
- Autorzy:
-
Rocha, Eugénio Miguel Alexandre
Murillo, Kelly Patricia - Data publikacji:
- 2021
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
bounded hybrid system
safety property
delta-reachability
multidirectional efficiency analysis - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki