Results of Neural-Checker Toolbox in Taysir 2023 Competition. - Franz Mayr; Sergio Yovine; Matías Carrasco; Alejo Garat; Martín Iturbide; Juan da Silva; Federico Vilensky (ICGI, 2023)

A Congruence-based Approach to Active Automata Learning from Neural Language Models. - Franz Mayr; Sergio Yovine; Matías Carrasco; Federico Pan; Federico Vilensky (ICGI, 2023)

Caching or Pre-fetching? the Role of Hazard Rates. - Andrés Ferragut; Matías Carrasco; Fernando Paganini (Allerton, 2024)

Analyzing constrained LLM through PDFA-learning. - Matías Carrasco; Franz Mayr; Sergio Yovine; Johny Kidd; Martín Iturbide; Juan Pedro da Silva; Alejo Garat (CoRR, 2024)

Optimal local storage policy based on stochastic intensities and its large scale behavior. - Matías Carrasco; Andrés Ferragut; Fernando Paganini (CoRR, 2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata. - Matías Carrasco; Franz Mayr; Sergio Yovine (CoRR, 2024)

Timer-based pre-fetching for increasing hazard rates. - Andrés Ferragut; Matías Carrasco; Fernando Paganini (SIGMETRICS Perform. Evaluation Rev., 2024)