Normal view
MARC view
Real-time control (Topical Term)
Machine generated authority record.
Work cat.: (OSt)237462: Lakshmi, Manasa G. Author 46251, Variants of reachability timed games: recursion, robustness and rewards (R)