An executable semantics of flexible plans in terms of timed game automata (bibtex)

by Cialdea Mayer, Marta and Orlandini, Andrea

Reference:

An executable semantics of flexible plans in terms of timed game automata (Cialdea Mayer, Marta and Orlandini, Andrea), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-January, 2016.

Bibtex Entry:

@inproceedings{Mayer2016160,
	Art_Number = {7371935},
	Author = {Cialdea Mayer, Marta and Orlandini, Andrea},
	Booktitle = {Proceedings of the International Workshop on Temporal Representation and Reasoning},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 15:24:07 +0200},
	Document_Type = {Conference Paper},
	Doi = {10.1109/TIME.2015.16},
	Pages = {160-169},
	Source = {Scopus},
	Title = {An executable semantics of flexible plans in terms of timed game automata},
	Volume = {2016-January},
	Year = {2016},
	Bdsk-Url-1 = {https://doi.org/10.1109/TIME.2015.16}}