Learning One-Clock Timed Automata

ABSTRACT: We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin’s

SUBMITTER: Biere A 

PROVIDER: S-EPMC7439748 | biostudies-literature | 2020 Mar

REPOSITORIES: biostudies-literature