Inproceedings,

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

, , and .
GandALF, volume 226 of EPTCS, page 302-315. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews