A tool for deciding the satisfiability of continuous-time metric temporal logic
MM Bersani, M Rossi, P San Pietro - Acta Informatica, 2016 - Springer
Constraint LTL over clocks is a variant of CLTL, an extension of linear-time temporal logic
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL over clocks …
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL over clocks …
Deciding the satisfiability of MITL specifications
MM Bersani, M Rossi, PS Pietro - arXiv preprint arXiv:1307.4469, 2013 - arxiv.org
In this paper we present a satisfiability-preserving reduction from MITL interpreted over
finitely-variable continuous behaviors to Constraint LTL over clocks, a variant of CLTL that is …
finitely-variable continuous behaviors to Constraint LTL over clocks, a variant of CLTL that is …
Relationship between network latency and information quality in a synchronized distributed virtual environment
D Hanawa, T Yonekura - IEEE Virtual Reality 2004, 2004 - ieeexplore.ieee.org
In this paper, the theoretical modeling of interactive performance on a distributed virtual
environment (DVE) is carried out. To study the degradation of the information quality caused …
environment (DVE) is carried out. To study the degradation of the information quality caused …
[PDF][PDF] A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
MMBM Rossi, P San Pietro - re.public.polimi.it
Constraint LTL over clocks is a variant of CLTL, an extension of lineartime temporal logic
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL over clocks …
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL over clocks …
[PDF][PDF] Deciding in practice the Satisfiability of Continuous-time Metric Temporal Logic
MM Bersani, M Rossi, P San Pietro - ICTCS2013, 2013 - Citeseer
Constraint LTL-over-clocks is a variant of CLTL, an extension of linear-time temporal logic
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL-over-clocks …
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL-over-clocks …