Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Bortolussi
Person information
- affiliation: University of Trieste, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j34]Giacomo Roncoroni
, Emanuele Forte, Luca Bortolussi, Michele Pipan:
Efficient extraction of seismic reflection with Deep Learning. Comput. Geosci. 166: 105190 (2022)- [j33]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [c99]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design 2022: 456-474 - [c98]Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti:
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN 2022: 1-8 - [c97]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) 2022: 30-46 - [c96]Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST 2022: 150-170 - [c95]Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) 2022: 281-300 - [i43]Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR abs/2201.09928 (2022) - [i42]Arjuna Scagnetto, Giulia Barbati, Ilaria Gandin, C. Cappelletto, G. Baj, Alberto Cazzaniga, Francesca Cuturello, Alessio Ansuini, Luca Bortolussi, A. Di Lenarda:
Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG. CoRR abs/2202.05676 (2022) - [i41]Gaia Saveri, Luca Bortolussi:
Graph Neural Networks for Propositional Model Counting. CoRR abs/2205.04423 (2022) - [i40]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
Stochastic Variational Smoothed Model Checking. CoRR abs/2205.05398 (2022) - [i39]Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker:
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR abs/2207.06154 (2022) - [i38]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR abs/2211.02375 (2022) - 2021
- [j32]Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. 5(2): 25:1-25:30 (2021) - [j31]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23(4): 615-640 (2021) - [c94]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS 2021: 223-228 - [c93]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB 2021: 19-35 - [c92]Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi:
Random Projections for Improved Adversarial Robustness. IJCNN 2021: 1-7 - [c91]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST 2021: 351-371 - [c90]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring Under Partial Observability. RV 2021: 121-141 - [c89]Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) 2021: 31-32 - [c88]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) 2021: 210-229 - [i37]Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi:
Random Projections for Improved Adversarial Robustness. CoRR abs/2102.09230 (2021) - [i36]Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi:
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR abs/2102.11010 (2021) - [i35]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR abs/2104.14333 (2021) - [i34]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR abs/2105.01536 (2021) - [i33]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i32]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR abs/2106.12981 (2021) - [i31]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring under Partial Observability. CoRR abs/2108.07134 (2021) - [i30]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR abs/2110.09143 (2021) - 2020
- [j30]Luca Bortolussi, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - [c87]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS 2020 - [c86]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. OVERLAY 2020: 29-34 - [c85]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY 2020: 77-81 - [c84]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. OVERLAY 2020: 95-100 - [c83]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST 2020: 155-174 - [c82]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c81]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [i29]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR abs/2002.04359 (2020) - [i28]Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone:
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR abs/2006.06987 (2020) - [i27]Francesco Cicala, Luca Bortolussi:
Density-embedding layers: a general framework for adaptive receptive fields. CoRR abs/2006.12779 (2020) - [i26]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR abs/2009.02019 (2020) - [i25]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. CoRR abs/2009.05484 (2020) - [i24]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. CoRR abs/2010.10096 (2020)
2010 – 2019
- 2019
- [j29]Nicolas Gast, Luca Bortolussi, Mirco Tribastone:
Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation 129: 60-80 (2019) - [j28]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [j27]Luca Bortolussi, Nathalie Bertrand:
Introduction to the Special Issue on Qest 2017. ACM Trans. Model. Comput. Simul. 29(4): 19:1-19:2 (2019) - [c80]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller:
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems 2019: 225-241 - [c79]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB 2019: 42-59 - [c78]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB 2019: 379-382 - [c77]Gerrit Großmann, Luca Bortolussi, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) 2019: 349-361 - [c76]Luca Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas:
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. M4IoT@Middleware 2019: 7-12 - [c75]Luca Bortolussi, Francesca Cairoli:
Bayesian Abstraction of Markov Population Models. QEST 2019: 259-276 - [c74]Gerrit Großmann, Luca Bortolussi:
Reducing Spreading Processes on Networks to Markov Population Models. QEST 2019: 292-309 - [c73]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Predictive Monitoring. RV 2019: 129-147 - [e6]Luca Bortolussi, Guido Sanguinetti:
Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11773, Springer 2019, ISBN 978-3-030-31303-6 [contents] - [i23]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - [i22]Gerrit Großmann, Luca Bortolussi:
Reducing Spreading Processes on Networks to Markov Population Models. CoRR abs/1906.11508 (2019) - [i21]Gerrit Großmann, Luca Bortolussi, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR abs/1910.03964 (2019) - [i20]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR abs/1910.12562 (2019) - 2018
- [j26]Luca Bortolussi, Roberta Lanciani, Laura Nenzi:
Model checking Markov population models by stochastic approximations. Inf. Comput. 262: 189-220 (2018) - [j25]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j24]Nicolas Gast, Luca Bortolussi, Mirco Tribastone:
Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. 46(3): 25-26 (2018) - [j23]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1180-1192 (2018) - [c72]Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. ATVA 2018: 267-283 - [c71]Luca Bortolussi, Luca Palmieri:
Deep Abstractions of Chemical Reaction Networks. CMSB 2018: 21-38 - [c70]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST 2018: 157-172 - [c69]Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST 2018: 323-338 - [c68]Luca Bortolussi, Simone Silvetti:
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. TACAS (2) 2018: 396-413 - [c67]Luca Bortolussi, Guido Sanguinetti, Simone Silvetti:
Bayesian Statistical parametric Verification and synthesis by Machine Learning. WSC 2018: 381-394 - [i19]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR abs/1804.02981 (2018) - [i18]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. CoRR abs/1804.08744 (2018) - [i17]Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. CoRR abs/1806.00238 (2018) - [i16]Luca Bortolussi, Guido Sanguinetti:
Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence. CoRR abs/1811.03571 (2018) - 2017
- [j22]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation 116: 84-100 (2017) - [c66]Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64 - [c65]Simone Silvetti, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM 2017: 3-17 - [c64]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [e5]Nathalie Bertrand, Luca Bortolussi:
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10503, Springer 2017, ISBN 978-3-319-66334-0 [contents] - [i15]Simone Silvetti, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR abs/1705.01879 (2017) - [i14]Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi:
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR abs/1706.06964 (2017) - [i13]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i12]Luca Bortolussi, Roberta Lanciani, Laura Nenzi:
Model Checking Markov Population Models by Stochastic Approximations. CoRR abs/1711.03826 (2017) - [i11]Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR abs/1711.06202 (2017) - 2016
- [j21]Luca Bortolussi:
Hybrid behaviour of Markov population models. Inf. Comput. 247: 37-86 (2016) - [j20]Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. 247: 235-253 (2016) - [j19]Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky:
Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. 655: 91 (2016) - [c63]Luca Bortolussi, Max Tschaikowski:
Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA 2016: 92-106 - [c62]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB 2016: 15-29 - [c61]Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti:
Matching Models Across Abstraction Levels with Gaussian Processes. CMSB 2016: 49-66 - [c60]Luca Bortolussi, Nicolas Gast:
Mean Field Approximation of Uncertain Stochastic Models. DSN 2016: 287-298 - [c59]Luca Bortolussi, Alberto Policriti, Simone Silvetti:
Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB 2016: 164-178 - [c58]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST 2016: 72-88 - [c57]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST 2016: 244-259 - [c56]Luca Bortolussi, Nicolas Gast:
Mean-Field Limits Beyond Ordinary Differential Equations. SFM 2016: 61-82 - [c55]Laura Nenzi, Luca Bortolussi, Michele Loreti:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - [c54]Luca Bortolussi, Cheng Feng:
Location Aggregation of Spatial Population CTMC Models. QAPL 2016: 30-43 - [i10]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR abs/1605.09703 (2016) - 2015
- [j18]Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel:
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. 56: 98-108 (2015) - [j17]Luca Bortolussi, Guido Sanguinetti:
Learning and Designing Stochastic Processes from Logical Constraints. Log. Methods Comput. Sci. 11(2) (2015) - [j16]Luca Bortolussi, Liviu P. Dinu, Laura Franzoi, Andrea Sgarro:
Coding Theory: A General Framework and Two Inverse Problems. Fundam. Informaticae 141(4): 297-310 (2015) - [j15]Luca Bortolussi, Jane Hillston:
Model checking single agent behaviours by fluid approximation. Inf. Comput. 242: 183-226 (2015) - [j14]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti:
System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587: 3-25 (2015) - [c53]Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. CMSB 2015: 40-51 - [c52]Luca Bortolussi, Roberta Lanciani:
Fluid Model Checking of Timed Properties. FORMATS 2015: 172-188 - [c51]Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf:
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB 2015: 141-155 - [c50]Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti:
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB 2015: 156-172 - [c49]Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. QEST 2015: 89-104 - [c48]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c47]Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. RV 2015: 323-341 - [c46]Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf:
Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) 2015: 53-60 - [c45]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c44]Luca Bortolussi, Jane Hillston:
Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL 2015: 32-47 - [i9]Luca Bortolussi, Roberta Lanciani:
Fluid Model Checking of Timed Properties. CoRR abs/1506.05909 (2015) - 2014
- [j13]Ezio Bartocci, Luca Bortolussi, Scott A. Smolka:
Hybrid Systems and Biology. Inf. Comput. 236: 1-2 (2014) - [c43]Luca Bortolussi, Roberta Lanciani:
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. EPEW 2014: 224-239 - [c42]Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti:
Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS 2014: 23-37 - [c41]Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi:
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. ISoLA (2) 2014: 391-403 - [c40]Luca Bortolussi, Guido Sanguinetti:
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. QEST 2014: 41-56 - [c39]