Browsing by Author Murano, Aniello

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin; Malvone, Vadim ; Murano, Aniello; Rubin, SashaGraded modalities in Strategy LogicArticle Artikel 2018
On CTL with Graded Path Modalities.pdf.jpgAminof, Benjamin; Murano, Aniello; Rubin, SashaOn CTL∗ with Graded Path ModalitiesInproceedings Konferenzbeitrag 2015