srtr.js
v0.0.0
Published
An implementation of the SMT-based Robot Transition Repair algorithm in JavaScript
Downloads
2
Readme
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).