Alberto Larrauri

According to our database, Alberto Larrauri authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Equations over Finite Monoids with Infinite Promises.

Alberto Larrauri, Antoine Mottet, Stanislav Zivný

CoRR, February, 2025

Solving Promise Equations over Monoids and Groups.

Alberto Larrauri, Stanislav Zivný

ACM Trans. Comput. Log., January, 2025

Synthesis of Controllers for Continuous Blackbox Systems.

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Optimal Inapproximability of Promise Equations over Finite Groups.

Silvia Butti, Alberto Larrauri, Stanislav Zivný

CoRR, 2024

First Order Logic of Sparse Graphs with Given Degree Sequences.

Alberto Larrauri, Guillem Perarnau

CoRR, 2024

2022

Conformance Testing of Mealy Machines Under Input Restrictions.

Alberto Larrauri, Roderick Bloem

CoRR, 2022

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.

Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2022