Adam Duracz | DeepAI

DeepAI

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

Featured Co-authors

Dung Nguyen
20 publications
Henry Hoffmann
12 publications
Ryuichi Sai
5 publications
Amin Farjudian
5 publications
Ferenc A. Bartha
3 publications
Ahsan Pervaiz
3 publications
Saeid Barati
3 publications
Krishna V. Palem
3 publications
Eugenio Moggi
3 publications
Walid Taha
2 publications
Yao-Hsiang Yang
2 publications

research

∙ 07/12/2019

Language Support for Adaptation: Intent-Driven Programming in FAST

Historically, programming language semantics has focused on assigning a ...

0 Yao-Hsiang Yang, et al. ∙

research

∙ 09/17/2017

Safe & Robust Reachability Analysis of Hybrid Systems

Hybrid systems - more precisely, their mathematical models - can exhibit...

0 Eugenio Moggi, et al. ∙