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.

Controller Synthesis for Omega-Regular and Steady-State Specifications

Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi 0001, George K. Atia. Controller Synthesis for Omega-Regular and Steady-State Specifications. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor, editors, 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022. pages 1310-1318, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022. [doi]

Authors

Alvaro Velasquez

This author has not been identified. Look up 'Alvaro Velasquez' in Google

Ismail Alkhouri

This author has not been identified. Look up 'Ismail Alkhouri' in Google

Andre Beckus

This author has not been identified. Look up 'Andre Beckus' in Google

Ashutosh Trivedi 0001

This author has not been identified. Look up 'Ashutosh Trivedi 0001' in Google

George K. Atia

This author has not been identified. Look up 'George K. Atia' in Google
runs on