Weighted Transition Systems / Battery Transition Systems / Sun / The matrix AB / /
Country
United States / /
Currency
USD / / /
Facility
Udi Boker Thomas A. Henzinger Arjun Radhakrishna The Interdisciplinary Center / /
IndustryTerm
given initial energy / non-ideal energy source / energy transition systems / bounded-energy reachability tree / energy-feasible path / bounded energy reachability information / low energy / infinite systems / sn energy-unique / energy positive / energy-constrained environment / energy-resource / energy-feasible fair trace / well-structured transitions systems / energy-feasible accepting / bounded energy reachability tree / energy recharged/consumed / energy sources / given energy / Energy feasibility / energy games / energy sums / chemical energy / negative energy / chemical reaction / model-checking algorithms / equal energy / High energy domain / infinite-state systems / transition systems / energy-unique path / energy-constrained robot / model such energy systems / emptiness algorithm / flattable systems / energy-systems problems / energy resource / energy-constrained semi-autonomous robots / energy / finite-automaton emptiness algorithm / low energy fair traces / energy resources / energy source / energy gain / lossy channel systems / energy restrictions / energy consumption / energy feasible trace / finite automaton emptiness algorithm / energy-unique paths / infinite state systems / High energy / energy systems / low energy fair / energy system / battery systems / low-energy / suitable algorithms / bounded-energy reachability / well-structured transition systems / physical systems / high-energy constant / constructing energy-unique 0-energy cycles / /
Organization
Interdisciplinary Center / Concentrarion Center / Cathode Center / /
Battery Transition Systems ∗ Udi Boker