ML Anthology

An Event Calculus Formalization of Timed Automata

Nicola Falcionelli, Paolo Sernani, Dagmawi Neway Mekuria, Aldo Franco Dragoni
IJCAI 2018 pp. 60-76
/ijcai/2018/falcionelli2018ijcai-event/
PDF IJCAI Semantic Scholar

Cite

Text

Falcionelli et al. "An Event Calculus Formalization of Timed Automata." International Joint Conference on Artificial Intelligence, 2018.

Markdown

[Falcionelli et al. "An Event Calculus Formalization of Timed Automata." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/falcionelli2018ijcai-event/)

BibTeX

@inproceedings{falcionelli2018ijcai-event,
  title     = {{An Event Calculus Formalization of Timed Automata}},
  author    = {Falcionelli, Nicola and Sernani, Paolo and Mekuria, Dagmawi Neway and Dragoni, Aldo Franco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {60-76},
  url       = {https://mlanthology.org/ijcai/2018/falcionelli2018ijcai-event/}
}