pith. sign in

Luca Bortolussi

Identifiers

  • name variant Luca Bortolussi 0.60 · backfill

Papers (25)

  1. Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic cs.RO · 2026 · author #3
  2. Empirical Evaluation of Structured Synthetic Data Privacy Metrics: Novel experimental framework cs.CR · 2025 · author #9
  3. Reducing Spreading Processes on Networks to Markov Population Models cs.SI · 2019 · author #2
  4. Control Variates for Stochastic Simulation of Chemical Reaction Networks q-bio.QM · 2019 · author #2
  5. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems cs.LO · 2019 · author #2
  6. Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence cs.LG · 2018 · author #1
  7. Signal Convolution Logic cs.LO · 2018 · author #4
  8. Central Limit Model Checking cs.LO · 2018 · author #1
  9. Lumping the Approximate Master Equation for Multistate Processes on Complex Networks cs.SI · 2018 · author #3
  10. A Robust Genetic Algorithm for Learning Temporal Specifications from Data cs.AI · 2017 · author #4
  11. Model Checking Markov Population Models by Stochastic Approximations cs.LO · 2017 · author #1
  12. Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes cs.SI · 2017 · author #4
  13. An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems cs.LO · 2017 · author #3
  14. Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent cs.SY · 2016 · author #2
  15. Matching models across abstraction levels with Gaussian Processes stat.ML · 2016 · author #2
  16. Distribution approximations for the chemical master equation: comparison of the method of moments and the system size expansion q-bio.QM · 2015 · author #2
  17. Fluid Model Checking of Timed Properties cs.FL · 2015 · author #1
  18. Stochastic HYPE: Flow-based modelling of stochastic hybrid systems cs.SY · 2014 · author #1
  19. Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models cs.SY · 2014 · author #1
  20. Smoothed Model Checking for Uncertain Continuous Time Markov Chains cs.LO · 2014 · author #1
  21. Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias cs.LO · 2013 · author #2
  22. A temporal logic approach to modular design of synthetic biological circuits cs.LO · 2013 · author #2
  23. Hybrid Behaviour of Markov Population Models cs.SY · 2012 · author #1
  24. Fluid Model Checking cs.LO · 2012 · author #1
  25. HYPE with stochastic events cs.LO · 2011 · author #1

Mentions

  • 1306.4493 #2 · backfill · confidence 0.70 Luca Bortolussi
  • 1211.1643 #1 · backfill · confidence 0.70 Luca Bortolussi
  • 1203.0920 #1 · backfill · confidence 0.70 Luca Bortolussi
  • 1107.1233 #1 · backfill · confidence 0.70 Luca Bortolussi
  • 2605.19038 #3 · arxiv_oai · confidence 0.70 Luca Bortolussi

Frequent Coauthors