Noninterference Analysis of Reversible Probabilistic Systems.

Andrea Esposito Alessandro Aldini Marco Bernardo

Published in: FORTE (2024)

Keyphrases

management system
data analysis
statistical analysis
complex systems
real time
data sets
neural network
information systems
reinforcement learning
information technology
cellular automata