CAP Project

CAP Project

The CAP Sino-German Project

  • Home
  • Work Packages
    • WP1: Exploiting Modularity and Compositionality
    • WP2: Abstraction-Based Model Reduction
    • WP3: Approaches for Parametrized Systems
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Publication

[WintererJW0TK017] Motion planning under partial observability using game-based abstraction Winterer, L.; Junges, S.; Wimmer, R.; Jansen, N.; Topcu, U.; Katoen, J.-P. and Becker, B. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pages 2201-2208, IEEE, 2017.
Downloads: bibURL: https://doi.org/10.1109/CDC.2017.8263971

Latest news

  • CAP Workshop in Beijing
  • Paper accepted in IJCAI’18
  • Paper accepted in PLDI’18
  • Paper accepted in VMCAI’18
  • SETTA’17 best paper award

Admin area

  • Log in
Copyright © 2025 CAP Project. Theme by Colorlib Powered by WordPress