Login / Signup
Riccardo Monego
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Computation Tree Logic
Mazurkiewicz Traces
Temporal Logic
Satisfiability Problem
Top Venues
TIME
</>
Publications
</>
Willem Conradie
,
Riccardo Monego
,
Emilio Muñoz-Velasco
,
Guido Sciavicco
,
Ionel Eduard Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
TIME
(2023)