Skip to main content
Home
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA

Main menu

  • Home
  • People
  • Publications
  • Past Members
  • Contact

You are here

Home

IJCAI 2015 Paper accepted, presented by Nicolas D'Ippolito.

Submitted by nderrossi on 04/15

"Towards Fully Observable Non-deterministic Planning as Assumption-based Automatic Synthesis", presented by Nicolas D'Ippolito in IJCAI 2015

 

Undefined

Latest News

05/24
Diego Garbervetsky fué seleccionado en la convocatoria PIP 2022.
05/24
Sebastián Uchitel, Victor Braberman y LaFHIS ganaron uno de los Automated Reasoning Amazon Research Awards (ARA).
04/24
Victor Braberman was promoted to "Director Researcher”" at CONICET.
04/24
New Article: "Brewing Up Reliability: Espresso Test Generation for Android Apps"
04/24
Interview with Sebastian Uchitel at El Cronista's Digital Transformation 2024.
04/24
Sebastian Uchitel was promoted to "Senior Researcher" at CONICET.
02/24
Aceptado en la 17th IEEE International Conference on Software.
02/24
Sebastian Uchitel gave a TEDx talk on Artificial Intelligence.
More news

User login

  • Request new password
LAFHIS
Departamento de Computación, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Argentina. [ Google Maps Link ]
Pabellón 1, Ciudad Universitaria, Intendente Güiraldes 2160
Buenos Aires (C1428EGA), Argentina
Tel. (+54 11) 4576 3390 ext. 704