Sebastián Betancourt

According to our database, Sebastián Betancourt authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark.

Sebastián Betancourt, Valentina Castiglioni

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2024

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks.

Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia

Proceedings of the 35th International Conference on Concurrency Theory, 2024