research
∙
04/01/2023
Energy Consumption Optimization in Radio Access Networks (ECO-RAN)
In recent years, mobile network operators are showing interest in reduci...
share
research
∙
02/16/2023
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains
Continuous-time Markov chains (CTMCs) are popular modeling formalism tha...
research
∙
02/09/2023
Timed I/O Automata: It is never too late to complete your timed specification theory
A specification theory combines notions of specifications and implementa...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
06/19/2020
A general framework for defining and optimizing robustness
Robustness of neural networks has recently attracted a great amount of i...
research
∙
07/03/2019
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
The probabilistic bisimilarity distance of Deng et al. has been proposed...
research
∙
06/28/2019
L*-Based Learning of Markov Decision Processes (Extended Version)
Automata learning techniques automatically generate system models from t...
research
∙
09/15/2018