Ian Mitchell
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2020
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2011
Proceedings of the 6th International Workshop on Digital Forensics and Incident Analysis, 2011
1997
On an Improved Approach to the Elicitation of O-O State Machines by Use-Case.
J. Object Oriented Program., 1997