@paves

Coefficient Synthesis for Threshold Automata

. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, volume 13608 of Lecture Notes in Computer Science, page 125--139. Springer, (2022)
DOI: 10.1007/978-3-031-19135-0\_9

Links and resources

Tags

community

  • @paves
  • @dblp
@paves's tags highlighted