Pages with the fewest revisions

Jump to: navigation, search

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

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

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

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