Search papers, labs, and topics across Lattice.
1
0
2
A new policy iteration algorithm, iPI, closes the gap between existing safety verification methods by matching the best-case runtime of TarjanSafe while guaranteeing polynomial worst-case scaling.
