Alexandra Forsey-Smerek - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Not registered as user yet

Name:Alexandra Forsey-Smerek

Country:United States

Affiliation:Massachusetts Institute of Technology

Contributions

2023

NFM

Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile