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
- 2024
[j39]Arianna Tasciotti
, Federico Urban, Federica de Dea, Luca Bortolussi, Giulio Caravagna, Alberto d'Onofrio:
Deep Learning-Informed Bayesian Model-Based Analysis to Estimate Superspreading Events in Epidemic Outbreaks. IEEE Access 12: 161375-161400 (2024)- [j38]Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8(POPL): 1882-1912 (2024) - [c115]Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský:
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. ECAI 2024: 1381-1388 - [c114]Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti:
Is Machine Learning Model Checking Privacy Preserving? ISoLA (2) 2024: 139-155 - [c113]Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi:
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. ISoLA (1) 2024: 168-185 - [c112]Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi:
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. NeSy (2) 2024: 175-191 - [c111]Gaia Saveri, Luca Bortolussi:
Retrieval-Augmented Mining of Temporal Logic Specifications from Data. ECML/PKDD (7) 2024: 315-331 - [c110]Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal:
Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. SMACD 2024: 1-4 - [i59]Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi:
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR abs/2405.10608 (2024) - [i58]Gaia Saveri, Luca Bortolussi:
Retrieval-Augmented Mining of Temporal Logic Specifications from Data. CoRR abs/2405.14355 (2024) - [i57]Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský:
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR abs/2405.14389 (2024) - [i56]Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal:
Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. CoRR abs/2405.16951 (2024) - [i55]Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi:
Can you trust your explanations? A robustness test for feature attribution methods. CoRR abs/2406.14349 (2024) - [i54]Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez:
Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. CoRR abs/2406.15812 (2024) - [i53]Stefano Alberto Russo, Giuliano Taffoni, Luca Bortolussi:
Timeseria: an object-oriented time series processing library. CoRR abs/2410.09567 (2024) - [i52]Lorenzo Basile, Valentino Maiorca, Luca Bortolussi, Emanuele Rodolà, Francesco Locatello:
ResiDual Transformer Alignment with Spectral Decomposition. CoRR abs/2411.00246 (2024) - [i51]Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal:
Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning. CoRR abs/2411.15212 (2024) - [i50]Federico Julian Camerota Verdù, Lorenzo Castelli, Luca Bortolussi:
Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation. CoRR abs/2412.10163 (2024) - 2023
- [j37]Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli:
Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access 11: 47282-47290 (2023) - [j36]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [j35]Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi:
Generative abstraction of Markov population processes. Theor. Comput. Sci. 977: 114169 (2023) - [c109]Giovanni Baj, Arjuna Scagnetto, Luca Bortolussi, Giulia Barbati:
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data. EPIA (2) 2023: 222-233 - [c108]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC 2023: 1:1-1:11 - [c107]Giulia Barbati, Luca Bortolussi, Giulio Caravagna:
Data Science and Artificial Intelligence for Life Sciences at the University of Trieste. Ital-IA 2023: 124-127 - [c106]Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri:
Reliable and Explainable AI in Trieste. Ital-IA 2023: 394-396 - [c105]Valentina Blasone, Umberto Di Laudo, Gloria Pietropolli, Luca Bortolussi, Silvia Ceramicola, Gianpiero Cossarini, Luca Manzoni:
Machine Learning methods for the Atmosphere, the Ocean, and the Seabed. Ital-IA 2023: 595-598 - [c104]Gaia Saveri, Luca Bortolussi:
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy 2023: 174-194 - [c103]Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST 2023: 143-147 - [c102]Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola:
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST 2023: 307-310 - [c101]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV 2023: 45-65 - [c100]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV 2023: 461-487 - [i49]Gaia Saveri, Luca Bortolussi:
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR abs/2305.03143 (2023) - [i48]Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi:
Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension. CoRR abs/2305.15203 (2023) - [i47]Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi:
CARSO: Counter-Adversarial Recall of Synthetic Observations. CoRR abs/2306.06081 (2023) - [i46]Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi:
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR abs/2308.16534 (2023) - [i45]Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR abs/2311.08235 (2023) - [i44]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR abs/2312.01959 (2023) - 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, Giovanni 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]