Julia F. Knight, Brian Luense. Control Theory, Modal Logic and Games. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems IV. Volume 1273 of Lecture Notes in Computer Science, pages 160-173, Springer, 1996.
@inproceedings{KnightL96,
title = {Control Theory, Modal Logic and Games},
author = {Julia F. Knight and Brian Luense},
year = {1996},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/KnightL96},
cites = {0},
citedby = {0},
pages = {160-173},
booktitle = {Hybrid Systems IV},
editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry},
volume = {1273},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63358-8},
}