Jennifer M. Davoren, Anil Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88(7):985-1010, 2000. [doi]
@article{DavorenN00, title = {Logics for hybrid systems}, author = {Jennifer M. Davoren and Anil Nerode}, year = {2000}, doi = {10.1109/5.871305}, url = {https://doi.org/10.1109/5.871305}, researchr = {https://researchr.org/publication/DavorenN00}, cites = {0}, citedby = {0}, journal = {Proceedings of the IEEE}, volume = {88}, number = {7}, pages = {985-1010}, }