New pages
From MurrayWiki
- 04:37, 26 March 2020 BE 240, Spring 2020 (hist) [4,347 bytes] Murray (Talk | contribs) (Created page with "{| width=100% |- | colspan=2 align=center | <font color='blue' size='+2'>Open Source Tools for Biological Circuit Design</font>__NOTOC__ |- valign=top | width=50% | '''Instruc...")
- 20:59, 22 March 2020 E/SEC 103, Spring 2020 (hist) [4,435 bytes] Murray (Talk | contribs) (Created page with "<table width="100%"> <tr><td align=center> <font color='blue' size='+2'>Management of Technology</font> </td></tr><tr><td align=center><font color='blue' size='+1'>Spring 2020...")
- 22:22, 15 March 2020 Group Schedule, Spring 2020 (hist) [2,556 bytes] Murray (Talk | contribs) (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Schedule|Richard's calen...")
- 21:35, 29 February 2020 EECI 2020: Behavior Specifications (hist) [1,769 bytes] Nok (Talk | contribs) (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...") originally created as "EECI 2020: Behaviour Specifications of Autonomous Vehicles"
- 17:09, 29 February 2020 EECI 2020: Course Summary (hist) [261 bytes] Murray (Talk | contribs) (Created page with "{{eeci-sp2020 header|prev=Testing and Evaluation|next=Main Page}} {{righttoc}} == Lecture Materials == * Lecture slides == Further Reading ==") originally created as "EECI 2020: Incorporating ML"
- 17:08, 29 February 2020 EECI 2020: Safety-Critical Systems (hist) [241 bytes] Murray (Talk | contribs) (Created page with "{{eeci-sp2020 header|prev=Rulebooks|next=Incorporating ML}} {{righttoc}} == Lecture Materials == * Lecture slides == Further Reading ==") originally created as "EECI 2020: Testing and Evaluation"
- 17:07, 29 February 2020 EECI 2020: Rulebooks (hist) [157 bytes] Murray (Talk | contribs) (Created page with "{{eeci-sp2020 header|prev=Computer Session: MVP|next=Test and Evaluation}} {{righttoc}} == Lecture Materials == * Lecture slides == Further Reading ==")
- 17:07, 29 February 2020 EECI 2020: Computer Session: MVP (hist) [386 bytes] Murray (Talk | contribs) (Created page with "{{eeci-sp2020 header|prev=Minimum Violation Planning|next=Computer Session: MVP}} {{righttoc}} == Lecture Materials == * Lecture slides == Further Reading ==")
- 17:05, 29 February 2020 EECI 2020: Computer Session: TuLiP (hist) [2,570 bytes] Murray (Talk | contribs) (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:04, 29 February 2020 EECI 2020: Reactive Synthesis (hist) [1,615 bytes] Murray (Talk | contribs) (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...")
- 16:54, 29 February 2020 EECI 2020: Temporal Logic (hist) [1,401 bytes] Murray (Talk | contribs) (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:52, 29 February 2020 EECI 2020: Course Introduction (hist) [2,808 bytes] Murray (Talk | contribs) (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,...") originally created as "EECI 2020: Introduction"
- 16:42, 29 February 2020 EECI 2020: Automata Theory (hist) [1,925 bytes] Murray (Talk | contribs) (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...")
- 18:50, 28 February 2020 EECI 2020: Minimum Violation Planning (hist) [1,427 bytes] Nok (Talk | contribs) (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...")
- 23:35, 27 February 2020 EECI 2020: Discrete Abstractions (hist) [3,040 bytes] Nok (Talk | contribs) (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...") originally created as "EECI 2020: Discrete abstractions"
- 22:35, 27 February 2020 EECI 2020: Model Checking (hist) [1,728 bytes] Nok (Talk | contribs) (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...")
- 19:43, 27 February 2020 EECI 2020: Computer Session: Stormpy (hist) [2,580 bytes] Nok (Talk | contribs) (Created page with "{{righttoc}} Hands-on probabilistic model checking exercises using stormpy. * quantitative analysis of PCTL specifications against Markov chain model * control strategy synt...") originally created as "EECI 2020: Computer Session: stormpy"
- 19:27, 27 February 2020 EECI 2020: Probabilistic Systems (hist) [2,557 bytes] Nok (Talk | contribs) (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...") originally created as "EECI 2020: Probabilistic systems"
- 06:15, 10 February 2020 David Garcia, 13 Feb 2020 (hist) [2,532 bytes] Murray (Talk | contribs) (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:47, 5 February 2020 Sarah Dean, 11-12 Feb 2020 (hist) [2,378 bytes] Murray (Talk | contribs) (Created page with "Sarah Dean, a PhD student working with Ben Recht, will visit Caltech on 11-12 Feb 2020. If you would like to meet with her, please sign up for a slot below (using your IMSS...")
- 21:41, 2 February 2020 Liren Yang, 5-6 Feb 2020 (hist) [2,011 bytes] Murray (Talk | contribs) (Created page with "Liren Yang is a PhD student at U. Michigan who has recently defended his thesis on correct-by-construction fault-tolerant control synthesis. He will visit Caltech on 5-6 Feb...")
- 19:01, 20 January 2020 SURF discussions, Jan 2020 (hist) [1,901 bytes] Murray (Talk | contribs) (Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our convers...")
- 15:28, 23 December 2019 CMS 273, Winter 2020 (hist) [3,881 bytes] Murray (Talk | contribs) (Created page with "<table width="100%"> <tr><td align=center> <font color='blue' size='+2'>Frontiers in Computing and Mathematical Sciences</font> </td></tr><tr><td align=center><font color='blu...")
