1 citations · 1 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 1 cited
Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics c…
cs.LO2023
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Vadim Malvone
System correctness is one of the most crucial and challenging objectives in software and hardware systems. With the increasing evolution of connected and distributed systems, ensur…
cs.LO2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone +1
We give a relational and a weakest precondition semantics for "knowledge-based programs", i.e., programs that restrict observability of variables so as to richly express changes in…