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.

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints

Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano. Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 229-234, CEUR-WS.org, 2019. [doi]

Authors

Bastien Maubert

This author has not been identified. Look up 'Bastien Maubert' in Google

Aniello Murano

This author has not been identified. Look up 'Aniello Murano' in Google

Pasquale Perillo

This author has not been identified. Look up 'Pasquale Perillo' in Google

Sasha Rubin

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

Alessio Spasiano

This author has not been identified. Look up 'Alessio Spasiano' in Google
runs on