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.

LTL Synthesis Under Multi-Agent Environment Assumptions

Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin. LTL Synthesis Under Multi-Agent Environment Assumptions. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]

Authors

Benjamin Aminof

This author has not been identified. Look up 'Benjamin Aminof' in Google

Giuseppe De Giacomo

This author has not been identified. Look up 'Giuseppe De Giacomo' in Google

Giuseppe Perelli

This author has not been identified. Look up 'Giuseppe Perelli' in Google

Sasha Rubin

This author has not been identified. Look up 'Sasha Rubin' in Google
runs on