Formally verified differential dynamic logic

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 16, 2017
Source ID
10.1145/3018610.3018616

Entities

People

  • André Platzer
  • Ivana Vukotic
  • Marcus Völp
  • Rose Bohrer
  • Vincent Rahli

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • National Research Fund Luxembourg
  • National Science Foundation
  • University of Luxembourg