An SMT-based active learning algorithm learns minimal nondeterministic weighted automata over arbitrary semirings, with partial correctness proofs, a sufficient termination condition, and experiments showing smaller models and fewer queries than baselines.
In: Proceedings of the 19th International Conference on Availability, Reliability and Security
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A systematic literature review categorizing 32 papers on threat and attack modelling for CPS and noting that current models fail to address dynamic, multi-layer, multi-path, and multi-agent attack characteristics.
citing papers explorer
-
SMT-Based Active Learning of Weighted Automata
An SMT-based active learning algorithm learns minimal nondeterministic weighted automata over arbitrary semirings, with partial correctness proofs, a sufficient termination condition, and experiments showing smaller models and fewer queries than baselines.
-
Security Modelling for Cyber-Physical Systems: A Systematic Literature Review
A systematic literature review categorizing 32 papers on threat and attack modelling for CPS and noting that current models fail to address dynamic, multi-layer, multi-path, and multi-agent attack characteristics.