Pages with the fewest revisions

Jump to: navigation, search

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

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

  1. Explainable and Scalable Planning with Probabilistic Temporal Logic Specifications‏‎ (2 revisions)
  2. Risk-Aware, Human-Cooperative Planning for Autonomous Systems‏‎ (2 revisions)
  3. Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable‏‎ (2 revisions)
  4. High-Confidence, Efficient Learning Under Rich Task Specifications‏‎ (2 revisions)
  5. Course description (ASE 396 & CS 395T, Fall 2015)‏‎ (3 revisions)
  6. Autonomous Detection and Assessment with Moving Sensors‏‎ (4 revisions)
  7. Publications‏‎ (4 revisions)
  8. STTR (Phases I and II): Correct-by-Construction Synthesis for Multi-Vehicle Autonomy Missions‏‎ (4 revisions)
  9. Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems‏‎ (4 revisions)
  10. EAGER: Human-Aware Navigation in Populated Indoor Environments‏‎ (4 revisions)
  11. Probably Approximately Correct Protocols for Reactive Control and Learning‏‎ (5 revisions)
  12. Formal Synthesis of Collaborative Protocols for Joint Learning and Control‏‎ (5 revisions)
  13. Teaching‏‎ (5 revisions)
  14. Contact‏‎ (6 revisions)
  15. Hybridizing Learning and Model-Based Planning for Active Perception‏‎ (6 revisions)
  16. Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable Shipboard Networks‏‎ (7 revisions)
  17. Group‏‎ (9 revisions)
  18. Events‏‎ (10 revisions)
  19. Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control‏‎ (11 revisions)
  20. CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems‏‎ (12 revisions)
  21. AAAI 2016 Fall Symposium: Cross-Disciplinary Challenges for Autonomous Systems‏‎ (17 revisions)
  22. Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems‏‎ (26 revisions)
  23. Perception-Based, Reactive, Temporal-Logic Planning For Autonomous Deck Operations‏‎ (29 revisions)
  24. Research‏‎ (35 revisions)
  25. Data-Driven Cyberphysical Systems‏‎ (36 revisions)
  26. Main Page‏‎ (48 revisions)
  27. Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems‏‎ (59 revisions)
  28. Flight Control Systems (Spring 2016), ASE 370L‏‎ (60 revisions)
  29. Verification and Synthesis for Cyberphysical Systems (Fall 2015), ASE 396 & CS 395T‏‎ (124 revisions)

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