Runtime Assurance Based On Formal Specifications.

Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan

Browse the full PDPTA paper archive.