Login / Signup
Ian Mitchell
ORCID
Publication Activity (10 Years)
Years Active: 1997-2020
Publications (10 Years): 1
Top Topics
Multiscale
Computationally Efficient
Linear Equations
Solution Quality
Top Venues
ARCH
</>
Publications
</>
Ian Mitchell
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars.
ARCH
(2020)
Ian Mitchell
A Formal Logic for Digital Investigations: A Case Study using BPB modifications.
WDFIA
(2011)
Ian Mitchell
,
Hugues Lecoeuche
On an Improved Approach to the Elicitation of O-O State Machines by Use-Case.
J. Object Oriented Program.
9 (9) (1997)