Reachability analysis of complex planar hybrid systems
| Autor: | Hansen, Hallstein A., Schneider, Gerardo, Steffen, Martin |
|---|---|
| Zdroj: | In Science of Computer Programming 1 December 2013 78(12):2511-2536 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hansen, Hallstein A., Schneider, Gerardo, Steffen, Martin |
|---|---|
| Zdroj: | In Science of Computer Programming 1 December 2013 78(12):2511-2536 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect