A Aralex Aachen research explorer

December 01, 2021 conference-paper

MINTS: Unsupervised Temporal Specifications Miner

IEEE International Conference on Software Quality, Reliability and Security (QRS)

DOI: 10.1109/qrs54544.2021.00093 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 2

References 1

Learning One-Clock Timed Automata
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

33

citations

1 result