Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Strategic Planning through Model Checking of ATL Formulae'. Together they form a unique fingerprint.

Engineering & Materials Science