Model Checking Linear Temporal Logic with Standpoint Modalities.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork

Browse the full KR paper archive.