FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5465881
DOI10.1007/b104325zbMath1117.68416OpenAlexW2950473912MaRDI QIDQ5465881
Abhay Vardhan, Mahesh Viswanathan, Gul A. Agha, Koushik Sen
Publication date: 12 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b104325
Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Learning to verify branching time properties ⋮ Learning Meets Verification ⋮ Automatic symbolic compositional verification by learning assumptions ⋮ Tree regular model checking: a simulation-based approach ⋮ Structural Statistical Software Testing with Active Learning in a Graph