Home Environment Themes Projects Core Curriculum Organization Events Publications


@inproceedings{Doherty664665,
   author = {Doherty, Patrick and Heintz, Fredrik and Kvarnstr{\"o}m, Jonas},
   title = {Robotics, Temporal Logic and Stream Reasoning},
   booktitle = {Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR)},
   year = {2013}
}

Logga in Produced by Mediatron