BORTOLUSSI, LUCA

BORTOLUSSI, LUCA  

Dipartimento di Matematica, Informatica e Geoscienze  

Settore INF/01 - Informatica  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 184 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autori File
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program 1-gen-2013 BORTOLUSSI, LUCA +
A Criterion for the Stochasticity of Matrices with Specified Order Relations 1-gen-2008 BORTOLUSSI, LUCASGARRO, ANDREA
A Distributed and Probabilistic Concurrent Constraint Programming Language 1-gen-2005 BORTOLUSSI, LUCA +
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems 1-gen-2022 Nenzi, L.Bortolussi, L. +
A robust genetic algorithm for learning temporal specifications from data 1-gen-2018 Nenzi, LauraSilvetti, SimoneBortolussi, Luca +
A Rough guide to Hybrid Limits of Continuous Time Markov Chains 1-gen-2011 BORTOLUSSI, LUCA
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems 1-gen-2014 BORTOLUSSI, LUCA +
A statistical empirical energy function for proteins 1-gen-2006 BORTOLUSSI, LUCA +
A temporal logic approach to modular design of synthetic biological circuits 1-gen-2013 BORTOLUSSI, LUCAL. Nenzi +
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 1-gen-2013 BORTOLUSSI, LUCALaura Nenzi +
Abstraction of Markov Population Dynamics via Generative Adversarial Nets 1-gen-2021 Cairoli F.Carbone G.Bortolussi L.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models 1-gen-2021 Bortolussi L. +
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 1-gen-2021 Luca BortolussiFrancesca CairoliGinevra CarboneEnrico Regolin +
Agent-based Protein Folding Simulation 1-gen-2005 BORTOLUSSI, LUCA +
An active learning approach to the falsification of black box cyber-physical systems 1-gen-2017 Bortolussi, Luca +
Analysis of Markov Jump Processes under Terminal Constraints 1-gen-2021 Bortolussi, Luca +
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation 1-gen-2016 BORTOLUSSI, LUCA +
At the boundaries of syntactic prehistory 1-gen-2021 Ceolin, AndreaGuardiano, CristinaLongobardi, GiuseppeBortolussi, LucaSgarro, Andrea +
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 1-gen-2019 Bortolussi, LucaMedvet, Eric +
Bayesian Abstraction of Markov Population Models 1-gen-2019 Luca BortolussiFrancesca Cairoli