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
- 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) - [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 - [i48]Gaia Saveri, Luca Bortolussi:
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR abs/2305.03143 (2023) - [i47]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) - [i46]Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi:
CARSO: Counter-Adversarial Recall of Synthetic Observations. CoRR abs/2306.06081 (2023) - [i45]Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi:
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR abs/2308.16534 (2023) - [i44]Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR abs/2311.08235 (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, 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)