DKL: an efficient algorithm for learning deterministic Kripke structures

DOI10.1007/s00236-020-00387-2zbMath1483.68148OpenAlexW3086961529MaRDI QIDQ824283

Rabia Mazhar, Muddassar Azam Sindhu

Publication date: 15 December 2021

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-020-00387-2

zbMATH Keywords

state-space explosionincremental learninggrammatical inferenceKripke structureDKLIKL

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Uses Software

• LBTest

Cites Work

• Unnamed Item
• Unnamed Item
• Learning regular sets from queries and counterexamples
• Learning automata from ordered examples
• Incremental Learning-Based Testing for Reactive Systems
• Counterexample-guided abstraction refinement for symbolic model checking
• Learning Meets Verification
• A note on the number of queries needed to identify regular languages
• Language identification in the limit

This page was built for publication: DKL: an efficient algorithm for learning deterministic Kripke structures