Alberto Larrauri

According to our database, Alberto Larrauri authored at least 14 papers between 2021 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

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

Convergence Laws for Extensions of First-Order Logic with Averaging.

Sam Adam-Day, Michael Benedikt, Alberto Larrauri

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Optimal Inapproximability of Promise Equations over Finite Groups.

Silvia Butti, Alberto Larrauri, Stanislav Zivný

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

Ineffectiveness for Search and Undecidability of PCSP Meta-Problems.

Alberto Larrauri

Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

2024

Synthesis of Controllers for Continuous Blackbox Systems (artifact).

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Dataset, October, 2024

First Order Logic of Sparse Graphs with Given Degree Sequences.

Alberto Larrauri, Guillem Perarnau

CoRR, 2024

Solving Promise Equations over Monoids and Groups.

Alberto Larrauri, Stanislav Zivný

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

First order logic of random sparse structures.

Alberto Larrauri

PhD thesis, 2023

2022

Limiting probabilities of first order properties of random sparse graphs and hypergraphs.

Lázaro Alberto Larrauri, Tobias Müller, Marc Noy

Random Struct. Algorithms, 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

2021

Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas.

Lázaro Alberto Larrauri

J. Log. Comput., 2021

Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines.

Lázaro Alberto Larrauri, Roderick Bloem

CoRR, 2021