Nir Piterman

A method to translate linear temporal logic with past operators into deterministic Rabin automata.

A look into obliging games and how they function.

Explore how reconfigurable communication channels improve device interactions.