Long pages

Jump to: navigation, search

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

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

  1. (hist) ‎Verification and Synthesis for Cyberphysical Systems (Fall 2015), ASE 396 & CS 395T ‎[8,944 bytes]
  2. (hist) ‎Publications ‎[7,600 bytes]
  3. (hist) ‎Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems ‎[7,577 bytes]
  4. (hist) ‎AAAI 2016 Fall Symposium: Cross-Disciplinary Challenges for Autonomous Systems ‎[7,541 bytes]
  5. (hist) ‎Flight Control Systems (Spring 2016), ASE 370L ‎[7,188 bytes]
  6. (hist) ‎Research ‎[3,788 bytes]
  7. (hist) ‎Course description (ASE 396 & CS 395T, Fall 2015) ‎[3,199 bytes]
  8. (hist) ‎Perception-Based, Reactive, Temporal-Logic Planning For Autonomous Deck Operations ‎[2,858 bytes]
  9. (hist) ‎Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable Shipboard Networks ‎[2,850 bytes]
  10. (hist) ‎Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control ‎[2,715 bytes]
  11. (hist) ‎Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable ‎[2,574 bytes]
  12. (hist) ‎Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems ‎[2,502 bytes]
  13. (hist) ‎Autonomous Detection and Assessment with Moving Sensors ‎[2,411 bytes]
  14. (hist) ‎Data-Driven Cyberphysical Systems ‎[2,390 bytes]
  15. (hist) ‎High-Confidence, Efficient Learning Under Rich Task Specifications ‎[2,339 bytes]
  16. (hist) ‎Risk-Aware, Human-Cooperative Planning for Autonomous Systems ‎[2,227 bytes]
  17. (hist) ‎CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems ‎[2,218 bytes]
  18. (hist) ‎Probably Approximately Correct Protocols for Reactive Control and Learning ‎[1,954 bytes]
  19. (hist) ‎Hybridizing Learning and Model-Based Planning for Active Perception ‎[1,906 bytes]
  20. (hist) ‎Compositional Verification of Hybrid Systems ‎[1,644 bytes]
  21. (hist) ‎Formal Synthesis of Collaborative Protocols for Joint Learning and Control ‎[1,521 bytes]
  22. (hist) ‎Explainable and Scalable Planning with Probabilistic Temporal Logic Specifications ‎[1,455 bytes]
  23. (hist) ‎Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems ‎[1,421 bytes]
  24. (hist) ‎STTR (Phases I and II): Correct-by-Construction Synthesis for Multi-Vehicle Autonomy Missions ‎[1,332 bytes]
  25. (hist) ‎Specification, Synthesis and Verification of Software-Based Control Protocols for Fault-Tolerant Space Systems ‎[1,252 bytes]
  26. (hist) ‎Workshop accommodation information ‎[1,186 bytes]
  27. (hist) ‎Group ‎[876 bytes]
  28. (hist) ‎Main Page ‎[850 bytes]
  29. (hist) ‎Contact ‎[806 bytes]
  30. (hist) ‎Events ‎[645 bytes]
  31. (hist) ‎Teaching ‎[576 bytes]
  32. (hist) ‎EAGER: Human-Aware Navigation in Populated Indoor Environments ‎[357 bytes]
  33. (hist) ‎Exploiting Symmetries in Software for More Robust and Efficient Systems ‎[308 bytes]
  34. (hist) ‎Architectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids ‎[253 bytes]
  35. (hist) ‎Corrections to be made in the slides ‎[82 bytes]

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