Mosterman and Biswas. "Formal Specifications for Hybrid Dynamical Systems." International Joint Conference on Artificial Intelligence, 1997.
Markdown
[Mosterman and Biswas. "Formal Specifications for Hybrid Dynamical Systems." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/mosterman1997ijcai-formal/)
BibTeX
@inproceedings{mosterman1997ijcai-formal,
title = {{Formal Specifications for Hybrid Dynamical Systems}},
author = {Mosterman, Pieter J. and Biswas, Gautam},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {568-577},
url = {https://mlanthology.org/ijcai/1997/mosterman1997ijcai-formal/}
}