dL_\iota: Definite descriptions in differential dynamic logic

@TECHREPORT{DBLP:conf/cade/BohrerFP19:TR,
	ref = {DBLP:conf/cade/BohrerFP19},

  author    = {Brandon Bohrer and
               Manuel Fern{\'{a}}ndez and
               Andr{\'{e}} Platzer},
  title     = {{dL$_\iota$}: Definite Descriptions in Differential Dynamic Logic},
  number    = {CMU-CS-19-111},
  year      = {2019},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2019/CMU-CS-19-111.pdf}
}```