Travelled to:1 × Canada
Collaborated with:R.Hojati R.K.Brayton
Talks about:uninterpret (1) reachabl (1) function (1) infinit (1) control (1) system (1) memori (1) comput (1) state (1) model (1)
Person: Adrian J. Isles
DBLP: Isles:Adrian_J=
Contributed to:
1998Wrote 1 papers:
- CAV-1998-IslesHB #infinity #memory management
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory (AJI, RH, RKB), pp. 256–267.