
Nothing has changed since the last time I checked twitted 4 months ago. Hang on, something has, our paper on "loss-less" sampling of polynomial trajectories for LTL verification is accepted in Theoretical Computer Science. arxiv.org/pdf/2104.08980…
English









