A Novel Learning Algorithm for B\"uchi Automata based on Family of DFA s and Classification Trees

Li, Yong, Chen, Yu-Fang, Zhang, Lijun, Liu, Depeng · 2017 · DOI 10.1007/978-3-662-54577-5_12

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.FL · 2026-06-20 · unverdicted · novelty 8.0 · 2 refs

Develops polynomial-time PMC for FDFA and introduces FUFA for succinct ω-regular specs with improved LTL translation.

Showing 1 of 1 citing paper.

Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata cs.FL · 2026-06-20 · unverdicted · none · ref 6 · 2 links
Develops polynomial-time PMC for FDFA and introduces FUFA for succinct ω-regular specs with improved LTL translation.