scientific article; zbMATH DE number 1418458
From MaRDI portal
Publication:4942015
zbMath0952.68012MaRDI QIDQ4942015
Mihalis Yannakakis, Moshe Y. Vardi, Doron A. Peled
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (17)
DKL: an efficient algorithm for learning deterministic Kripke structures ⋮ Testing probabilistic equivalence through reinforcement learning ⋮ On monitoring linear temporal properties ⋮ Active learning for deterministic bottom-up nominal tree automata ⋮ Concurrent Kleene algebra with observations: from hypotheses to completeness ⋮ Learning Meets Verification ⋮ Active learning of nondeterministic finite state machines ⋮ Learning register automata: from languages to program structures ⋮ Three optimizations for assume-guarantee reasoning with \(L^{*}\) ⋮ Incremental Learning-Based Testing for Reactive Systems ⋮ Polynomial Identification of $$\omega $$-Automata ⋮ Probabilistic black-box reachability checking (extended version) ⋮ Generating models of infinite-state communication protocols using regular inference with abstraction ⋮ Efficient active automata learning via mutation testing ⋮ A new fair multi-secret sharing scheme based on asymmetric bivariate polynomial ⋮ Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach ⋮ A graph based semantics for logical functional diagrams in power plant controllers
This page was built for publication:
