Uploads by Ifilippi
From Murray Wiki
Jump to navigationJump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 19:16, 29 December 2013 | Surf2014 partitioning small.gif (file) |  |
611 KB | increased size | 2 |
| 19:08, 29 December 2013 | Surf2014 partitioning.gif (file) |  |
2.12 MB | trim | 2 |
| 18:43, 29 December 2013 | Surf2014 keymaera train.png (file) |  |
217 KB | Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here]. | 1 |
| 18:41, 29 December 2013 | Surf2014 abstraction.png (file) |  |
125 KB | Abstraction of PWA system derived from robot_continuous_pwa.py. | 1 |
