User contributions for Nok
From Murray Wiki
Jump to navigationJump to search
3 March 2020
- 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
22 June 2010
- 22:4722:47, 22 June 2010 diff hist +10 Model-Based Design and Qualification of Complex Systems →Publications
- 22:4622:46, 22 June 2010 diff hist +450 Model-Based Design and Qualification of Complex Systems →Publications
27 April 2010
- 01:1101:11, 27 April 2010 diff hist −1 Apr 2010 meetings →29 Apr (Thu)
29 March 2010
- 19:4719:47, 29 March 2010 diff hist −7 Mar 2010 meetings →1 Apr (Thu)
19 February 2010
- 00:4000:40, 19 February 2010 diff hist −1 Feb 2010 schedule →Session P1
7 January 2010
- 07:0407:04, 7 January 2010 diff hist −1 Jan 2010 meetings →14 Jan (Thu)
15 November 2009
12 October 2009
1 June 2009
- 20:3220:32, 1 June 2009 diff hist +484 Model-Based Design and Qualification of Complex Systems →Publications
19 March 2009
- 19:2919:29, 19 March 2009 diff hist −1 Group Schedule, Spring 2009 →Group Meetings
- 15:4215:42, 19 March 2009 diff hist −1 Spring 2009 Meeting Schedule →Tue
