Jonathan Michelson

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Rule Based Reasoning

Inference Engine

Top Venues

Publications

Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal
Compositional Reasoning Gotchas in Practice. FMCAD (2015)
B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain
Liveness vs Safety - A Practical Viewpoint. Haifa Verification Conference (2011)