User contributions for Utopcu
From Murray Wiki
Jump to navigationJump to search
14 May 2012
- 10:1510:15, 14 May 2012 diff hist −28 EECI 2012: Receding Horizon Temporal Logic Planning No edit summary
- 10:1410:14, 14 May 2012 diff hist −28 HYCON-EECI, Spring 2012 Undo revision 14048 by Utopcu (Talk)
- 10:1210:12, 14 May 2012 diff hist +28 HYCON-EECI, Spring 2012 →Lecture Schedule
- 10:1010:10, 14 May 2012 diff hist +1,567 EECI 2012: Algorithmic Verification of Hybrid Systems No edit summary
- 10:0910:09, 14 May 2012 diff hist −951 EECI 2012: Algorithmic Verification of Hybrid Systems No edit summary
- 10:0810:08, 14 May 2012 diff hist −7 EECI 2012: Algorithmic Verification of Hybrid Systems No edit summary
- 10:0410:04, 14 May 2012 diff hist +2,195 N EECI 2012: Algorithmic Verification of Hybrid Systems Created page with '{{eeci-sp12 header|prev=Deductive Verification of Hybrid Systems|next=Synthesis of Reactive Control Protocols}} This lecture focuses on the verification of hybrid systems. We fi…'
13 May 2012
- 15:3815:38, 13 May 2012 diff hist −9 EECI 2012: Temporal Logic No edit summary
22 April 2012
- 06:1306:13, 22 April 2012 diff hist +2 EECI 2012: Receding Horizon Temporal Logic Planning No edit summary
- 06:1306:13, 22 April 2012 diff hist +2,457 N EECI 2012: Receding Horizon Temporal Logic Planning Created page with '{{AFRL header|prev=Synthesis of Reactive Control Protocols |next=TuLiP}} This lecture introduces the receding horizon temporal logic planning. Introductory material on high co…'
- 03:4803:48, 22 April 2012 diff hist +42 EECI 2012: Computer Session: TuLiP No edit summary
- 03:4803:48, 22 April 2012 diff hist −9 EECI 2012: Computer Session: TuLiP No edit summary
- 03:4003:40, 22 April 2012 diff hist −18 EECI 2012: Computer Session: TuLiP →Additional Information
- 03:3903:39, 22 April 2012 diff hist +59 EECI 2012: Computer Session: TuLiP →Additional Information
- 03:3803:38, 22 April 2012 diff hist +2 EECI 2012: Computer Session: TuLiP No edit summary
- 03:3703:37, 22 April 2012 diff hist +1,699 N EECI 2012: Computer Session: TuLiP Created page with '{{AFRL header|prev=Receding Horizon Temporal Logic Planning |next=....}} This lecture provides an overview of TuLiP, a Python-based software toolbox for the synthesis of embedde…'
- 03:0803:08, 22 April 2012 diff hist 0 EECI 2012: Automata Theory No edit summary
- 03:0603:06, 22 April 2012 diff hist −3 EECI 2012: Automata Theory No edit summary
- 03:0403:04, 22 April 2012 diff hist +1,690 N EECI 2012: Automata Theory Created page with '{{eeci-sp11 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 of t…'
- 03:0203:02, 22 April 2012 diff hist +31 EECI 2012: Hybrid Systems Verification No edit summary current
- 02:5502:55, 22 April 2012 diff hist +2,089 N EECI 2012: Hybrid Systems Verification Created page with '{{eeci-sp11 header|prev=Computer Lab I |next=Autonomous Driving}} This lecture focuses on the computational verification of temporal specifications for hybrid, nonlinear dynamic…'
- 02:3002:30, 22 April 2012 diff hist +259 EECI 2012: Model Checking and Logic Synthesis →Further Reading
- 00:4000:40, 22 April 2012 diff hist −1 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:4000:40, 22 April 2012 diff hist +1 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:3900:39, 22 April 2012 diff hist 0 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:3900:39, 22 April 2012 diff hist +54 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:3800:38, 22 April 2012 diff hist +68 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:3600:36, 22 April 2012 diff hist +67 N Template:AFRL12 header Created page with 'Return to Caltech/AFRL 2012 Main Page'
- 00:3400:34, 22 April 2012 diff hist +241 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:2900:29, 22 April 2012 diff hist +2 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:2800:28, 22 April 2012 diff hist −54 EECI 2012: Model Checking and Logic Synthesis No edit summary
- 00:2700:27, 22 April 2012 diff hist +1,542 N EECI 2012: Model Checking and Logic Synthesis Created page with '{{righttoc}} This lecture provides an introduction to automata based model checking. We first describe how automata based model checking works, including an efficient algorithm …'
- 00:2600:26, 22 April 2012 diff hist +6 Caltech/AFRL, Spring 2012 No edit summary
- 00:2600:26, 22 April 2012 diff hist −6 Caltech/AFRL, Spring 2012 No edit summary
- 00:2600:26, 22 April 2012 diff hist +65 Caltech/AFRL, Spring 2012 No edit summary
- 00:2500:25, 22 April 2012 diff hist +1 Caltech/AFRL, Spring 2012 Undo revision 13891 by Utopcu (Talk)
- 00:2300:23, 22 April 2012 diff hist +95 N Template:AFRL entry Created page with '|- | align=right | {{{1}}} | align=right | {{{2}}} | [[AFRL{{{5}}}: {{{3}}}|{{{3}}}]] | {{{4}}}' current
- 00:2200:22, 22 April 2012 diff hist −1 Caltech/AFRL, Spring 2012 No edit summary
- 00:2100:21, 22 April 2012 diff hist −65 Caltech/AFRL, Spring 2012 No edit summary
- 00:2000:20, 22 April 2012 diff hist 0 Template:AFRL12 entry No edit summary current
- 00:2000:20, 22 April 2012 diff hist +109 N Template:AFRL12 entry Created page with '|- | align=right | {{{1}}} | align=right | {{{2}}} | [[EECI{{{5}}}: {{{3}}}|{{{3}}}]] | {{{4}}}'
26 March 2012
- 22:5322:53, 26 March 2012 diff hist 0 Group Schedule, Spring 2012 →Week 10: 4 Jun - 8 Jun
- 22:5322:53, 26 March 2012 diff hist +11 Group Schedule, Spring 2012 →Week 3: 16-20 Apr
25 March 2012
21 February 2012
20 February 2012
19 January 2012
- 07:1707:17, 19 January 2012 diff hist +17 Naira Hovakimyan, Jan 2012 No edit summary current
- 07:0607:06, 19 January 2012 diff hist −16 Naira Hovakimyan, Jan 2012 No edit summary
17 January 2012
- 06:4006:40, 17 January 2012 diff hist 0 Naira Hovakimyan, Jan 2012 No edit summary
