Hana Chockler

Journal of Artificial Intelligence Research, (2020): 881-903

FMCAD, pp.147-151, (2019)

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System De..., pp.16, (2019)

LPAR, pp.56-75, (2018)

AAAI, (2018)

LPAR, pp.418-434, (2018)

FM, pp.438-455, (2018)

VSTTE, pp.50-68, (2018)

TACAS, pp.207-213, (2017)

VMCAI, pp.55-72, (2017)

SAT, pp.347-363, (2017)

Haifa Verification Conference, pp.65-81, (2016)

CREST@ETAPS, pp.1-8, (2016)

Validation of Evolving Software, pp.19-21, (2015)

Validation of Evolving Software, pp.25-36, (2015)

International Conference on Artificial Intelligence and Law, (2015)