Automata, Languages and Programming

DOI10.1007/B99859zbMath1099.68662OpenAlexW2505584480MaRDI QIDQ5466506

Mihalis Yannakakis

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99859

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Control Strategies for Off-Line Testing of Timed Systems ⋮ Control strategies for off-line testing of timed systems ⋮ Synthesizing adaptive test strategies from temporal logic specifications ⋮ Structural Statistical Software Testing with Active Learning in a Graph ⋮ Complexity of node coverage games

This page was built for publication: Automata, Languages and Programming