scientific article; zbMATH DE number 2080060
From MaRDI portal
Publication:4472253
zbMath1043.68570MaRDI QIDQ4472253
Mihalis Yannakakis, Alex Groce, Doron A. Peled
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800357.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (12)
Learning from positive and negative examples: dichotomies and parameterized algorithms ⋮ Learning of event-recording automata ⋮ Learning from positive and negative examples: new proof for binary alphabets ⋮ Learning finite cover automata from queries ⋮ 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^{*}\) ⋮ Verification of evolving software via component substitutability analysis ⋮ Probabilistic black-box reachability checking (extended version) ⋮ Generating models of infinite-state communication protocols using regular inference with abstraction ⋮ Grey-Box Checking
This page was built for publication:
