CASTIGLIONI, VALENTINA

CASTIGLIONI, VALENTINA  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.133 secondi).
Titolo Data di pubblicazione Autore(i) File
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 1-gen-2016 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A specification format for rooted branching bisimulation 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Logical Characterization of Bisimulation Metrics 1-gen-2016 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Logical Characterization of Trace Metrics 1-gen-2017 Castiglioni, Valentina; Tini, Simone
Modal Decomposition on Nondeterministic Probabilistic Processes 1-gen-2016 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes 1-gen-2017 Castiglioni, Valentina
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES 1-gen-2018 Castiglioni, Valentina; Gebler, Daniel; Tini:, Simone
STARK: A tool for the analysis of CPSs robustness 1-gen-2024 Castiglioni, V.; Loreti, M.; Tini, S.