Formal Verification of Cyber-Physical Systems using Theorem Proving

Publication
arXiv preprint arXiv:2003.03729