Inproceedings,

Optimal Bounds in Parametric LTL Games

.
GandALF, volume 54 of EPTCS, page 146-161. (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews