Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

Calvanese et al. "Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis." International Joint Conference on Artificial Intelligence, 2015.

[Calvanese et al. "Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/calvanese2015ijcai-description/)

@inproceedings{calvanese2015ijcai-description,
  title     = {{Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis}},
  author    = {Calvanese, Diego and Montali, Marco and Patrizi, Fabio and De Giacomo, Giuseppe},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {4247-4253},
  url       = {https://mlanthology.org/ijcai/2015/calvanese2015ijcai-description/}
}