Michael W. Whalen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Arie Gurfinkel
14 publications
Grigory Fedyukovich
6 publications
Andrew Gacek
4 publications
Sanjai Rayadurgam
4 publications
David Greve
3 publications
Jeffrey Chen
3 publications
John Backes
2 publications
Andreas Katis
2 publications
Huajun Guo
1 publication

research

∙ 09/25/2020

Synthesis of Infinite-State Systems with Random Behavior

Diversity in the exhibited behavior of a given system is a desirable cha...

0 Andreas Katis, et al. ∙

research

∙ 09/14/2017

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Automated synthesis of reactive systems from spe- cifications has been a...

0 Andreas Katis, et al. ∙