Complexity of Verification and Synthesis of Threshold Automata.

A. R. Balasubramanian Javier Esparza Marijana Lazic

Published in: CoRR (2020)

Keyphrases

model checking
complexity analysis
threshold selection
case study
computational complexity
worst case
information retrieval
computer vision
knowledge base
control system
regular expressions