Embedding Imperative Programs in LTL for Hybrid Systems Reasoning (ucsd-pl.github.io) 2 points by yorix 10y ago ↗ HN
0 comments
[ 4.6 ms ] story [ 9.7 ms ] threadNo comments yet.