
Registered user since Wed 23 Dec 2015
Name:Suguman Bansal
Country:United States
Affiliation:Rice University, USA
Personal website:http://www.sugumanbansal.com
Research interests:Reactive systems, formal methods, artificial intelligence
Contributions
POPL 2020 | Synthesis of Coordination Programs from Linear Temporal Specifications | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile