Abstract: This work introduces efficient symbolic algorithms for quantitative reactive synthesis. We consider resource-constrained robotic manipulators that need to interact with a human to achieve a ...
Simple, synchronous, single-threaded reactive programming primitives and collections with fluent bindings. Sync guarantees deterministic execution and defers mutations when executing bindings, ...
Add a description, image, and links to the reactive-programming-in-java topic page so that developers can more easily learn about it.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback