Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.06248
Cited By
Complexity of Verification and Synthesis of Threshold Automata
13 July 2020
A. Balasubramanian
Javier Esparza
Marijana Lazić
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Complexity of Verification and Synthesis of Threshold Automata"
2 / 2 papers shown
Title
Decidability Issues for Petri Nets -- a survey
Javier Esparza
Mogens Nielsen
AI4CE
31
339
0
03 Nov 2024
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
I. Konnov
Marijana Lazić
H. Veith
Josef Widder
18
76
0
18 Aug 2016
1
