Picture for Vadim Malvone

Vadim Malvone

Telecom Paris

3vLTL: A Tool to Generate Automata for Three-valued LTL

Add code
Nov 16, 2023
Viaarxiv icon

Reasoning about Intuitionistic Computation Tree Logic

Add code
Oct 03, 2023
Viaarxiv icon

Model Checking Strategic Abilities in Information-sharing Systems

Add code
Apr 19, 2022
Figure 1 for Model Checking Strategic Abilities in Information-sharing Systems
Viaarxiv icon

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Add code
Jan 24, 2022
Figure 1 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Figure 2 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Viaarxiv icon

Extended Graded Modalities in Strategy Logic

Add code
Jul 12, 2016
Viaarxiv icon