scientific article; zbMATH DE number 1916673
From MaRDI portal
Publication:4807832
zbMath1046.68072MaRDI QIDQ4807832
Mihalis Yannakakis, Moshe Y. Vardi, Doron A. Peled
Publication date: 16 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (15)
Temporal Logic and Fair Discrete Systems ⋮ Property-directed verification and robustness certification of recurrent neural networks ⋮ Inferring regular languages and \(\omega\)-languages ⋮ Unnamed Item ⋮ Learning quantum finite automata with queries ⋮ Enhancing active model learning with equivalence checking using simulation relations ⋮ Learning deterministic one-clock timed automata via mutation testing ⋮ Information gain of black-box testing ⋮ Automatic symbolic compositional verification by learning assumptions ⋮ A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees ⋮ Design of test inputs and their sequences in multi-function system testing ⋮ Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys ⋮ A novel learning algorithm for Büchi automata based on family of DFAs and classification trees ⋮ Unnamed Item ⋮ Learning algorithms
This page was built for publication:
