A Temporal Differential Dynamic Logic Formal Embedding.

Lauren M. White, Laura Titolo, J. Tanner Slagel, Csar A. Muoz

Browse the full CPP paper archive.