Name		Name	Last commit message	Last commit date
defensa		defensa
figures		figures
.gitignore		.gitignore
README.md		README.md
abs_en.tex		abs_en.tex
abs_esp.tex		abs_esp.tex
agradecimientos.tex		agradecimientos.tex
background.tex		background.tex
biblio.bib		biblio.bib
caratula.tex		caratula.tex
commands.tex		commands.tex
complejidad.tex		complejidad.tex
conclusiones.tex		conclusiones.tex
dedicatoria.tex		dedicatoria.tex
implementacion.tex		implementacion.tex
introduccion.tex		introduccion.tex
lemmaProofs.tex		lemmaProofs.tex
logofcen.pdf		logofcen.pdf
on-the-fly_def.tex		on-the-fly_def.tex
on-the-fly_directed_exploration.tex		on-the-fly_directed_exploration.tex
performanceBenchmark.tex		performanceBenchmark.tex
prueba.tex		prueba.tex
pseudocode.tex		pseudocode.tex
tesis.cls		tesis.cls
tesis.pdf		tesis.pdf
tesis.tex		tesis.tex

Repository files navigation

tesis

Tesis conjunta de Lic en Cs de la Computación: Directed Controller Synthesis for Non-Maximal Blocking Requirements

0 stars

2 watching