User contributions for Nok
From Murray Wiki
Jump to navigationJump to search
8 April 2020
- 13:1513:15, 8 April 2020 diff hist +4 EECI-IGSC 2020 →Software Installation current
- 13:1513:15, 8 April 2020 diff hist −9 EECI-IGSC 2020 →Software Installation
9 March 2020
- 08:1608:16, 9 March 2020 diff hist +551 EECI 2020: Behavior Specifications →Further Reading
- 07:1107:11, 9 March 2020 diff hist −1 EECI 2020: Computer Session: TuLiP →Lecture Materials
- 07:1107:11, 9 March 2020 diff hist −114 EECI 2020: Computer Session: TuLiP →Lecture Materials
6 March 2020
- 03:1703:17, 6 March 2020 diff hist +59 EECI-IGSC 2020 →Software Installation
3 March 2020
- 18:1518:15, 3 March 2020 diff hist +49 EECI-IGSC 2020 →Software Installation
- 16:4216:42, 3 March 2020 diff hist +3 EECI 2020: Probabilistic Systems →Further Reading
- 16:3916:39, 3 March 2020 diff hist +1,191 EECI 2020: Probabilistic Systems →Further Reading
- 04:4404:44, 3 March 2020 diff hist +135 EECI-IGSC 2020 →Software Installation
- 03:3203:32, 3 March 2020 diff hist 0 EECI 2020: Computer Session: MVP →Lecture Materials
- 03:0903:09, 3 March 2020 diff hist +65 EECI 2020: Computer Session: MVP →Lecture Materials
- 01:5801:58, 3 March 2020 diff hist +6 EECI 2020: Computer Session: MVP →Lecture Materials
- 01:5601:56, 3 March 2020 diff hist +57 EECI 2020: Computer Session: Stormpy →Lecture Materials
- 00:2300:23, 3 March 2020 diff hist +16 EECI-IGSC 2020 →Software Installation
- 00:2200:22, 3 March 2020 diff hist +4 EECI-IGSC 2020 →Software Installation
- 00:2100:21, 3 March 2020 diff hist +123 EECI-IGSC 2020 →Software Installation
- 00:1900:19, 3 March 2020 diff hist +17 EECI-IGSC 2020 →Software Installation
- 00:1800:18, 3 March 2020 diff hist +165 EECI-IGSC 2020 →Software Installation
- 00:1700:17, 3 March 2020 diff hist +1,789 EECI-IGSC 2020 →Software Installation
2 March 2020
- 23:4923:49, 2 March 2020 diff hist +133 EECI-IGSC 2020 →Lecture Schedule
- 23:4023:40, 2 March 2020 diff hist +140 EECI 2020: Computer Session: MVP No edit summary
29 February 2020
- 21:3621:36, 29 February 2020 diff hist +38 EECI 2020: Safety-Critical Systems No edit summary
- 21:3521:35, 29 February 2020 diff hist +1,199 N EECI 2020: Behavior Specifications Created page with "{{eeci-sp2020 header|prev=Computer Session: VMP|next=Safety-Critical Systems}} {{righttoc}} One of the major challenges in the development, validation and deployment of auton..."
- 21:2821:28, 29 February 2020 diff hist +294 EECI-IGSC 2020 →Lecture Schedule
- 20:0720:07, 29 February 2020 diff hist +4 EECI 2020: Minimum Violation Planning →Further Reading
- 20:0720:07, 29 February 2020 diff hist +458 EECI 2020: Minimum Violation Planning →Further Reading
- 20:0320:03, 29 February 2020 diff hist +65 EECI 2020: Minimum Violation Planning →Lecture Materials
28 February 2020
- 18:5718:57, 28 February 2020 diff hist +8 EECI 2020: Minimum Violation Planning →Further Reading
- 18:5718:57, 28 February 2020 diff hist +504 EECI 2020: Minimum Violation Planning →Further Reading
- 18:5018:50, 28 February 2020 diff hist +295 N EECI 2020: Minimum Violation Planning Created page with "{{righttoc}} == Lecture Materials == * Lecture slides == Further Reading == * <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging fo..."
27 February 2020
- 23:3623:36, 27 February 2020 diff hist +14 EECI 2020: Discrete Abstractions No edit summary
- 23:3523:35, 27 February 2020 diff hist +2,948 N EECI 2020: Discrete Abstractions Created page with "This lecture focuses on the abstraction of hybrid systems. We first discuss finite-state under- and over-approximations of hybrid dynamics and how these finite-state models co..."
- 23:3323:33, 27 February 2020 diff hist −7 EECI-IGSC 2020 →Lecture Schedule
- 22:3522:35, 27 February 2020 diff hist +1,514 N EECI 2020: Model Checking Created page with "{{righttoc}} This lecture provides an introduction to automata based model checking and its use for closed system synthesis. We first discuss what model checking is, how it w..."
- 20:3120:31, 27 February 2020 diff hist +2 EECI-IGSC 2020 →Lecture Schedule
- 20:3020:30, 27 February 2020 diff hist −10 EECI-IGSC 2020 →Lecture Schedule
- 20:2920:29, 27 February 2020 diff hist 0 EECI 2020: Probabilistic Systems →Lecture Materials
- 19:5019:50, 27 February 2020 diff hist −2 EECI 2020: Computer Session: Stormpy →Lecture Materials
- 19:5019:50, 27 February 2020 diff hist +624 EECI 2020: Computer Session: Stormpy No edit summary
- 19:4419:44, 27 February 2020 diff hist −23 EECI 2020: Probabilistic Systems No edit summary
- 19:4319:43, 27 February 2020 diff hist +817 N EECI 2020: Computer Session: Stormpy Created page with "{{righttoc}} Hands-on probabilistic model checking exercises using stormpy. * quantitative analysis of PCTL specifications against Markov chain model * control strategy synt..."
- 19:3219:32, 27 February 2020 diff hist +2 EECI-IGSC 2020 →Lecture Schedule
- 19:3019:30, 27 February 2020 diff hist +35 EECI-IGSC 2020 →Software Installation
- 19:3019:30, 27 February 2020 diff hist +36 EECI-IGSC 2020 No edit summary
- 19:2719:27, 27 February 2020 diff hist +1,299 N EECI 2020: Probabilistic Systems Created page with "{{righttoc}} This lecture provides an introduction to probabilistic model checking. We start with Markov chains as a mathematical model to describe behavior of probabilistic..."
- 18:5518:55, 27 February 2020 diff hist +7 EECI-IGSC 2020 No edit summary
- 18:5418:54, 27 February 2020 diff hist +68 EECI-IGSC 2020 No edit summary