Daniel Kroening

Scopus Author ID ORCID

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Machine Learning

Systematic Review

Top Venues

Acta informatica

This page only lists publications with an associated author ORCID identifier.

Publications

Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta informatica 57 (1) (2019)