Inproceedings,

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

Meta data

Tags

Users

  • @paves
  • @dblp

Comments and Reviews