External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy 0001. Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. In Kristin Yvonne Rozier, Swarat Chaudhuri, editors, NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Volume 13903 of Lecture Notes in Computer Science, pages 191-206, Springer, 2023. [doi]

Authors

Alexandra Forsey-Smerek

This author has not been identified. Look up 'Alexandra Forsey-Smerek' in Google

Ho Chit Siu

This author has not been identified. Look up 'Ho Chit Siu' in Google

Kevin Leahy 0001

This author has not been identified. Look up 'Kevin Leahy 0001' in Google
runs on