All public logs
From Murray Wiki
Jump to navigationJump to search
Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 19:16, 29 December 2013 Ifilippi talk contribs uploaded a new version of File:Surf2014 partitioning small.gif (increased size)
- 19:10, 29 December 2013 Ifilippi talk contribs uploaded File:Surf2014 partitioning small.gif (downsized version of [[Image:Surf2014_partitioning.gif)
- 19:08, 29 December 2013 Ifilippi talk contribs uploaded a new version of File:Surf2014 partitioning.gif (trim)
- 18:49, 29 December 2013 Ifilippi talk contribs uploaded File:Surf2014 partitioning.gif (Animation of TuLiP's partitioning procedure for PWA dynamics.)
- 18:43, 29 December 2013 Ifilippi talk contribs uploaded File:Surf2014 keymaera train.png (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].)
- 18:41, 29 December 2013 Ifilippi talk contribs uploaded File:Surf2014 abstraction.png (Abstraction of PWA system derived from robot_continuous_pwa.py.)