Sfoglia per Autore
Mostrati risultati da 1 a 10 di 10
Hybrid Automata and epsilon-Analysis on a Neural Oscillator
2012-01-01 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Falsifying Oscillation Properties of Parametric Biological Models
2013-01-01 Thao, Dang; Dreossi, Tommaso
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design
2013-01-01 Alberto, Casagrande; Dreossi, Tommaso
ϵ-Semantics computations on biological systems
2014-01-01 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
2015-01-01 Dreossi, Tommaso; Thao, Dang; Piazza, Carla
Parallelotope bundles for polynomial reachability
2016-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems
2016-04-04 Dreossi, Tommaso
Reachability computation for polynomial dynamical systems
2017-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Set-Based Analysis for Biological Modeling
2019-01-01 Dang, Thao; Dreossi, Tommaso; Fanchon, Eric; Maler, Oded; Piazza, Carla; Rocca, Alexandre
Mostrati risultati da 1 a 10 di 10
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile