Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance
Esmaeil Zadeh Soudjani, S
Abate, A
Lecture Notes in Computer Science
volume 8413
547-561
(2014)
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems
Adzkiya, D
De Schutter, B
Abate, A
Lecture Notes in Computer Science
volume 8413
248-262
(2014)
On approximation metrics for linear temporal model-checking of stochastic systems
Tkachev, I
Abate, A
193-202
(15 Apr 2014)
Approximately bisimilar symbolic models for randomly switched stochastic systems
Zamani, M
Abate, A
Systems & Control Letters
volume 69
38-46
(Jul 2014)
Galactic kinematics and dynamics from Radial Velocity Experiment stars
Binney, J
Burnett, B
Kordopatis, G
Steinmetz, M
Gilmore, G
Bienayme, O
Bland-Hawthorn, J
Famaey, B
Grebel, E
Helmi, A
Navarro, J
Parker, Q
Reid, W
Seabroke, G
Siebert, A
Watson, F
Williams, M
Wyse, R
Zwitter, T
Monthly Notices of the Royal Astronomical Society
volume 439
issue 2
1231-1244
(01 Apr 2014)
Anomalous hysteresis in perovskite solar cells
Snaith, H
Abate, A
Ball, J
Eperon, G
Leijtens, T
Noel, N
Stranks, S
Wang, J
Wojciechowski, K
Zhang, W
journal of physical chemistry letters
volume 5
issue 9
1511-1515
(10 Apr 2014)
Bisimilar symbolic models for stochastic control systems without state-space discretization
Zamani, M
Tkachev, I
Abate, A
41-50
(15 Apr 2014)
The effect of diamagnetic flows on turbulent driven ion toroidal rotationa)
Lee, J
Barnes, M
Parra, F
Belli, E
Candy, J
Physics of Plasmas
volume 21
issue 5
056106
(01 May 2014)
Optimizing stellarators for large flows
Calvo, I
Parra, F
Alonso, J
Velasco, J
Plasma Physics and Controlled Fusion
volume 56
issue 9
094003
(01 Sep 2014)
The unscented particle filter
Van Der Merwe, R
Doucet, A
De Freitas, N
Wan, E
Advances in Neural Information Processing Systems
(01 Jan 2001)