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

[Junges0DTK16] Safety-Constrained Reinforcement Learning for MDPs Junges, S.; Jansen, N.; Dehnert, C.; Topcu, U. and Katoen, J.-P. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pages 130-146, Springer, Lecture Notes in Computer Science 9636, 2016.
Downloads: bibURL: https://doi.org/10.1007/978-3-662-49674-9_8

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