cfaed Publications
Alternating-time temporal logic with explicit programs
Reference
Andreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther, "Alternating-time temporal logic with explicit programs", LAMAS, 2014.
Bibtex
@misc{herzig2014alternating,
title={Alternating-time temporal logic with explicit programs},
author={Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Walther, Dirk},
year={2014},
publisher={LAMAS}
}
title={Alternating-time temporal logic with explicit programs},
author={Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Walther, Dirk},
year={2014},
publisher={LAMAS}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=589