iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://ieeexplore.ieee.org/document/6679386/
Distributed synthesis for LTL fragments | IEEE Conference Publication | IEEE Xplore
