yorix

↗ HN profile [ 605 ms ] full profile

Karma: 1
Created: June 8, 2014 (12y ago)
Submissions: 0

Embedding Imperative Programs in LTL for Hybrid Systems Reasoning (ucsd-pl.github.io)

2 points 10y ago 0