User contributions for Murray
From Murray Wiki
Jump to navigationJump to search
29 February 2020
- 17:0717:07, 29 February 2020 diff hist −12 EECI 2020: Computer Session: MVP No edit summary
- 17:0717:07, 29 February 2020 diff hist +160 N EECI 2020: Computer Session: MVP Created page with "{{eeci-sp2020 header|prev=Minimum Violation Planning|next=Computer Session: MVP}} {{righttoc}} == Lecture Materials == * Lecture slides == Further Reading =="
- 17:0617:06, 29 February 2020 diff hist −5 EECI 2020: Minimum Violation Planning No edit summary
- 17:0517:05, 29 February 2020 diff hist +84 EECI 2020: Minimum Violation Planning No edit summary
- 17:0517:05, 29 February 2020 diff hist +2,496 N EECI 2020: Computer Session: TuLiP Created page with "{{eeci-sp2020 header|prev=Reactive Synthesis|next=Minimum Violation Planning}} This lecture provides an overview of TuLiP, a Python-based software toolbox for the synthesis o..."
- 17:0417:04, 29 February 2020 diff hist +1,615 N EECI 2020: Reactive Synthesis Created page with "{{eeci-sp2020 header|prev=Discrete Abstractions|next=Computer Session: TuLiP}} This lecture discusses planner synthesis from LTL specification. In particular, we focus on sys..."
- 17:0217:02, 29 February 2020 diff hist −21 EECI-IGSC 2020 →Lecture Schedule
- 17:0217:02, 29 February 2020 diff hist +78 EECI 2020: Discrete Abstractions No edit summary current
- 17:0117:01, 29 February 2020 diff hist 0 EECI-IGSC 2020 →Lecture Schedule
- 17:0017:00, 29 February 2020 diff hist +46 N EECI 2020: Discrete abstractions Murray moved page EECI 2020: Discrete abstractions to EECI 2020: Discrete Abstractions current
- 17:0017:00, 29 February 2020 diff hist 0 m EECI 2020: Discrete Abstractions Murray moved page EECI 2020: Discrete abstractions to EECI 2020: Discrete Abstractions
- 16:5916:59, 29 February 2020 diff hist +78 EECI 2020: Computer Session: Stormpy No edit summary
- 16:5716:57, 29 February 2020 diff hist +50 N EECI 2020: Computer Session: stormpy Murray moved page EECI 2020: Computer Session: stormpy to EECI 2020: Computer Session: Stormpy current
- 16:5716:57, 29 February 2020 diff hist 0 m EECI 2020: Computer Session: Stormpy Murray moved page EECI 2020: Computer Session: stormpy to EECI 2020: Computer Session: Stormpy
- 16:5716:57, 29 February 2020 diff hist +74 EECI 2020: Probabilistic Systems No edit summary
- 16:5616:56, 29 February 2020 diff hist +70 EECI 2020: Model Checking No edit summary
- 16:5516:55, 29 February 2020 diff hist +46 N EECI 2020: Probabilistic systems Murray moved page EECI 2020: Probabilistic systems to EECI 2020: Probabilistic Systems current
- 16:5516:55, 29 February 2020 diff hist 0 m EECI 2020: Probabilistic Systems Murray moved page EECI 2020: Probabilistic systems to EECI 2020: Probabilistic Systems
- 16:5416:54, 29 February 2020 diff hist +1,530 N EECI 2020: Temporal Logic Created page with "{{eeci-sp2020 header|prev=Automata Theory|next=Model Checking}} {{righttoc}} In this lecture we introduce ''linear temporal logic'' (LTL), a mathematical language for describ..."
- 16:5316:53, 29 February 2020 diff hist +5 EECI 2020: Main Page Redirected page to EECI-IGSC 2020 current
- 16:5216:52, 29 February 2020 diff hist +23 N EECI 2020: Main Page Redirected page to EECI 2020
- 16:5216:52, 29 February 2020 diff hist +2,988 N EECI 2020: Course Introduction Created page with "{{eeci-sp2020 header|prev=Main Page|next=Automata Theory}} {{righttoc}} This lecture provides an introduction to specification, design and verification of autonomous systems,..."
- 16:4516:45, 29 February 2020 diff hist −29 EECI-IGSC 2020 →Lecture Schedule
- 16:4416:44, 29 February 2020 diff hist 0 Template:Eeci-sp2020 header No edit summary current
- 16:4316:43, 29 February 2020 diff hist −8 Template:Eeci-sp2020 header No edit summary
- 16:4316:43, 29 February 2020 diff hist +222 N Template:Eeci-sp2020 header Created page with "{| width=100% |- | align=left width=33% | Prev: [[EECI 2020: {{{prev}}}|{{{prev}}}]] | align=center width=33% | Course home | align=right width=33%..."
- 16:4216:42, 29 February 2020 diff hist +1,914 N EECI 2020: Automata Theory Created page with "{{eeci-sp2020 header|prev=Introduction |next=Temporal Logic}} This lecture gives an introduction to some concepts and tools in computer science that are used in the remainder..."
26 February 2020
- 19:3019:30, 26 February 2020 diff hist +1 Group Schedule, Winter 2020 →Week 10: 9-13 Mar
- 19:3019:30, 26 February 2020 diff hist +4 Group Schedule, Winter 2020 →Week 10: 9-13 Mar
- 19:2919:29, 26 February 2020 diff hist 0 Group Schedule, Winter 2020 →Week 11: 16-20 Mar
- 19:2919:29, 26 February 2020 diff hist +21 Group Schedule, Winter 2020 →Week 11: 16-20 Mar
- 19:2919:29, 26 February 2020 diff hist +21 Group Schedule, Winter 2020 →Week 10: 9-13 Mar
- 19:2419:24, 26 February 2020 diff hist −154 Group Schedule, Winter 2020 →Week 11: 16-20 Mar
- 19:2319:23, 26 February 2020 diff hist +1 Group Schedule, Winter 2020 →Week 10: 9-13 Mar
- 19:2319:23, 26 February 2020 diff hist −63 Group Schedule, Winter 2020 →Week 10: 9-13 Mar
25 February 2020
- 03:3303:33, 25 February 2020 diff hist +59 Group Schedule, Winter 2020 →Week 9: 2-6 Mar
- 03:3303:33, 25 February 2020 diff hist +5 Group Schedule, Winter 2020 →Week 8: 24-28 Feb
24 February 2020
- 15:1115:11, 24 February 2020 diff hist 0 EECI-IGSC 2020 →Lecture Schedule
- 15:1015:10, 24 February 2020 diff hist +56 EECI-IGSC 2020 →Lecture Schedule
22 February 2020
- 15:1515:15, 22 February 2020 diff hist +35 N Registration meetings, Dec 2019 Murray moved page Registration meetings, Dec 2019 to UG meetings, Dec 2019 current
- 15:1515:15, 22 February 2020 diff hist 0 m UG meetings, Dec 2019 Murray moved page Registration meetings, Dec 2019 to UG meetings, Dec 2019 current
18 February 2020
14 February 2020
11 February 2020
- 17:0917:09, 11 February 2020 diff hist −26 Group Schedule, Winter 2020 →Week 6: 10-14 Feb
- 00:5000:50, 11 February 2020 diff hist −6 David Garcia, 13 Feb 2020 No edit summary
10 February 2020
- 21:2621:26, 10 February 2020 diff hist +2,070 David Garcia, 13 Feb 2020 No edit summary
- 14:5414:54, 10 February 2020 diff hist +6 Sarah Dean, 11-12 Feb 2020 No edit summary
- 06:1506:15, 10 February 2020 diff hist +456 N David Garcia, 13 Feb 2020 Created page with "David Garcia, a PhD student working at Oak Ridge National Laboratory (ORNL) will visit Caltech on 13 Feb (Thu). If you would like to meet with him, sign up here (using your I..."
- 06:0306:03, 10 February 2020 diff hist +50 Sarah Dean, 11-12 Feb 2020 No edit summary
7 February 2020
- 15:1515:15, 7 February 2020 diff hist −1 Main Page →Group
