Explore projects
-
-
Updated
-
Updated
-
Updated
-
View 2023 - Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems project
Javier Esparza, Vincent P. Grande: "Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems", ICALP 2023. 50th EATS International Colloquium on Automata, Languages and Programming, 2023
Updated -
Updated
-
-
Updated
-
A framework to solve arbitrary set of moment equations arise in the context of moment methods in gas kinetics theory
Updated -
Updated
-
Solutions to the 'Applied Machine Learning In Python' Coursera course exercises
Updated -
Updated
