Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
2 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Synthesising Programs with Non-trivial Constants.
J Autom Reason. 2023;67(2):19. doi: 10.1007/s10817-023-09664-4. Epub 2023 May 13.
J Autom Reason. 2023.
PMID: 37193313
Free PMC article.
Automated formal synthesis of provably safe digital controllers for continuous plants.
Abate A, Bessa I, Cordeiro L, David C, Kesseli P, Kroening D, Polgreen E.
Abate A, et al. Among authors: kesseli p.
Acta Inform. 2020;57(1):223-244. doi: 10.1007/s00236-019-00359-1. Epub 2019 Dec 6.
Acta Inform. 2020.
PMID: 32189718
Free PMC article.
Item in Clipboard
Cite
Cite