Search Results for author:
Found 2 papers, 2 papers with code
Automata Learning meets Shielding
Iteratively, we use the collected data to learn new MDPs with higher accuracy, resulting in turn in shields able to prevent more safety violations.
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
