iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://unpaywall.org/10.1109/ROBOT.2000.844045
Using model checking to guarantee safety in automatically-synthesized real-time controllers | IEEE Conference Publication | IEEE Xplore
