Logics of Polyhedral Reachability.

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia

Browse the full AiML paper archive.