@article{Vladimerou_2011,
    doi = {10.1016/j.tcs.2011.08.036},
    url = {https://doi.org/10.1016%2Fj.tcs.2011.08.036},
    year = {2011},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {412},
    number = {48},
    pages = {6770--6785},
    author = {Vladimeros Vladimerou and Pavithra Prabhakar and Mahesh Viswanathan and Geir Dullerud},
    title = {Specifications for decidable hybrid games},
    journal = {Theoretical Computer Science}
}

@article{Vladimerou_2011, doi = {10.1016/j.tcs.2011.08.036}, url = {https://doi.org/10.1016%2Fj.tcs.2011.08.036}, year = {2011}, month = {nov}, publisher = {Elsevier {BV}}, volume = {412}, number = {48}, pages = {6770--6785}, author = {Vladimeros Vladimerou and Pavithra Prabhakar and Mahesh Viswanathan and Geir Dullerud}, title = {Specifications for decidable hybrid games}, journal = {Theoretical Computer Science} }