1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
We introduce spatio-temporal polyhedral reachability logics, extending dynamic topological logic with polyhedral semantics and a path-based spatial reachability operator. Formulas…