DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents Symbolic reactive high level task

Finding Nemo: Translating Reactive Tasks to Reactive Controllers Hadas Kress-Gazit joint work with Georgios Fainekos and George Pappas “Look for Nemo. If he is in a red…