0.0.0 • Published 5 years ago
srtr.js v0.0.0
SMT-based Robot Transition Repair
An implementation of the SMT-based Robot Transition Repair algorithm in JavaScript by Holtz 2018 with minor modifications (see arXiv:1802.01706v2 for details).
0.0.0
5 years ago