221 followers
Efficient Convex Zone Merging in Parametric Timed Automata https://t.co/rOqeLG6MK1
Efficient Convex Zone Merging in Parametric Timed Automata https://t.co/rOqeLG6MK1
RT @taylorjohnson: Thanks to the program committee & artifact evaluation committee reviewers & chairs inc @rajhans, as well as our collabor…
Thanks to the program committee & artifact evaluation committee reviewers & chairs inc @rajhans, as well as our collaborators inc @bardhhoxha, for this recognition of Xiaodong's hard and excellent work! Paper: https://t.co/Uh0dmVRh5s Veritex too