Synthesis from component libraries with costs

DOI10.1016/j.tcs.2017.11.001zbMath1386.68099MaRDI QIDQ683714

Orna Kupferman, Guy Avni

Publication date: 9 February 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.11.001

zbMATH Keywords

synthesis; cost-sharing games; component libraries; lattice automata

Mathematics Subject Classification ID

91A80: Applications of game theory

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

Uses Software

• MONA