Battery transition systems.

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna

Browse the full POPL paper archive.