Anne-Kathrin Schmuck | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Rupak Majumdar
5 publications
Ashwani Anand
1 publication
Kaushik Mallik
1 publication
Satya Prakash Nayak
1 publication

research

∙ 01/18/2023

Computing Adequately Permissive Assumptions for Synthesis

We solve the problem of automatically computing a new class of environme...

0 Ashwani Anand, et al. ∙

research

∙ 07/03/2020

Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game

We present a new algorithm to solve the supervisory control problem over...

0 Rupak Majumdar, et al. ∙

Success!

An error occurred