100 citations · 314 across the 34 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications
Rajeev Alur, Salar Moarref, Ufuk Topcu
The reactive synthesis problem is to find a finite-state controller that satisfies a given temporal-logic specification regardless of how its environment behaves. Developing a form…
cs.FL2013★ 4 cited
Decision Problems for Additive Regular Functions
Rajeev Alur, Mukund Raghothaman
Additive Cost Register Automata (ACRA) map strings to integers using a finite set of registers that are updated using assignments of the form "x := y + c" at every step. The corres…
cs.LO2013
Safe Schedulability of Bounded-Rate Multi-Mode Systems
Rajeev Alur, Vojtech Forejt, Salar Moarref +1
Bounded-rate multi-mode systems (BMMS) are hybrid systems that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued vari…