Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.

Constance L. Heitmeyer, Elizabeth I. Leonard

Browse the full ICSE paper archive.