Oldest pages

Jump to: navigation, search

Showing below up to 36 results in range #1 to #36.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. Course description (ASE 396 & CS 395T, Fall 2015)‏‎ (18:30, 8 July 2015)
  2. Publications‏‎ (21:53, 29 August 2015)
  3. Corrections to be made in the slides‏‎ (03:17, 11 September 2015)
  4. Verification and Synthesis for Cyberphysical Systems (Fall 2015), ASE 396 & CS 395T‏‎ (15:39, 3 January 2016)
  5. Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems‏‎ (03:11, 22 April 2016)
  6. Flight Control Systems (Spring 2016), ASE 370L‏‎ (16:42, 11 May 2016)
  7. AAAI 2016 Fall Symposium: Cross-Disciplinary Challenges for Autonomous Systems‏‎ (19:09, 7 November 2016)
  8. Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems‏‎ (15:51, 15 January 2017)
  9. Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems‏‎ (15:52, 15 January 2017)
  10. Data-Driven Cyberphysical Systems‏‎ (03:26, 15 November 2017)
  11. Group‏‎ (11:02, 14 December 2017)
  12. Teaching‏‎ (12:43, 14 December 2017)
  13. Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems‏‎ (19:12, 14 December 2017)
  14. Architectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids‏‎ (08:43, 15 December 2017)
  15. Perception-Based, Reactive, Temporal-Logic Planning For Autonomous Deck Operations‏‎ (10:25, 15 December 2017)
  16. Hybridizing Learning and Model-Based Planning for Active Perception‏‎ (10:58, 15 December 2017)
  17. Explainable and Scalable Planning with Probabilistic Temporal Logic Specifications‏‎ (11:13, 15 December 2017)
  18. CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems‏‎ (11:20, 15 December 2017)
  19. Compositional Verification of Hybrid Systems‏‎ (11:24, 15 December 2017)
  20. Probably Approximately Correct Protocols for Reactive Control and Learning‏‎ (12:24, 15 December 2017)
  21. Formal Synthesis of Collaborative Protocols for Joint Learning and Control‏‎ (13:22, 15 December 2017)
  22. Autonomous Detection and Assessment with Moving Sensors‏‎ (13:22, 15 December 2017)
  23. Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable‏‎ (13:29, 15 December 2017)
  24. Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable Shipboard Networks‏‎ (13:38, 15 December 2017)
  25. Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control‏‎ (14:17, 15 December 2017)
  26. STTR (Phases I and II): Correct-by-Construction Synthesis for Multi-Vehicle Autonomy Missions‏‎ (14:54, 15 December 2017)
  27. EAGER: Human-Aware Navigation in Populated Indoor Environments‏‎ (15:10, 15 December 2017)
  28. High-Confidence, Efficient Learning Under Rich Task Specifications‏‎ (15:15, 15 December 2017)
  29. Exploiting Symmetries in Software for More Robust and Efficient Systems‏‎ (15:35, 15 December 2017)
  30. Risk-Aware, Human-Cooperative Planning for Autonomous Systems‏‎ (15:50, 15 December 2017)
  31. Events‏‎ (15:56, 15 December 2017)
  32. Contact‏‎ (16:09, 15 December 2017)
  33. Workshop accommodation information‏‎ (22:06, 16 January 2018)
  34. Main Page‏‎ (02:06, 4 February 2018)
  35. Research‏‎ (13:05, 20 May 2018)
  36. Verifiable, Control-Oriented Learning On The Fly‏‎ (14:26, 20 May 2018)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)