Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703780
DOI10.1007/b107194zbMath1087.68020MaRDI QIDQ5703780
Aidan Harding, Pierre-Yves Schobbens, Mark D. Ryan
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
91A80: Applications of game theory
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Synthesis of Reactive(1) designs, Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic, Causality-based game solving, Maintenance goals of agents in a dynamic environment: formulation and policy construction
Uses Software