ReCipe : a program synthesizer based on model checking for temporal logics

ReCipe : a program synthesizer based on model checking for temporal logics

Detalles Bibliográficos
Autor principal:	Galicia Mendoza, Fernando Abigail
Otras Contribuciones:	Rosenblueth Laguette, David Arturo (Asesor), Solar Lezama, Armando (Asesor)
Formato:	Tesis de maestría
Publicado:	MX 2021
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000806422 http://132.248.9.195/ptd2021/enero/0806422/Index.html

Ejemplares similares

Model checking based on the hidden markov model and its application to human-robot interaction
por: Hernández, Noé Salomón
Publicado: (2014)

Pattern models : dynamic epistemic logics for distributed systems
por: Velázquez Cervantes, Diego Alejandro
Publicado: (2024)

A philosophical study of empty logics
por: Romero Rodríguez, Christian Andrés
Publicado: (2024)

Elevador controlado por PLC (Programmable Logic Controller)
por: Leon Luz, Juan Gabriel de, et al.
Publicado: (1997)

Estructuras logicas para sistemas de control Fuzzy logic
por: Medina Zurita, Jorge Alberto, et al.
Publicado: (1994)

Synthése et réactivité de complexes carbéniques portant une double liaison carbone-carbone
por: Álvarez Toledano, Cecilio
Publicado: (1984)

On network models based on random measures
por: Flores López, Bernardo
Publicado: (2021)

Behaviour recognition system based on hidden Markov models
por: Figueroa Angulo, José Israel
Publicado: (2016)

Neighborhood models, an alternative for the modeling of spatial structures
por: Reyes Guerrero, María del carmen
Publicado: (1986)

Deformable models for medical image segmentation based on local analysis
por: Olveres, Jimena
Publicado: (2017)

Entre Bach y el cyborg : timbre, cuerpo y transtextualidad en "Switched-on bach" y "The well-tempered synthesizer" de Wendy Carlos
por: Ortega García, Luis Daniel
Publicado: (2023)

Using process-based models to estimate the invasion dynamics of Cactoblastis cactorum in North America
por: Castillo Mendoza, Natalia
Publicado: (2024)

Evaluación del aprovechamiento de residuos de biomasa para la generación de electricidad en México con base en un análisis Swot Fuzzy-Logic
por: Hernández Escalante, Mariana Karina
Publicado: (2022)

Estudio de la valvula duo-check como una opcion de valvula de retencion en la industria
por: Ramirez García, Eduardo Javier
Publicado: (1989)

Diseno y construccion de una base de tiempo programable
por: Ocadiz Sanchez, Alejandro, et al.
Publicado: (1983)

Random partitions models
por: Gil-Leyva, María F.
Publicado: (2016)

Cooperativity in matter-radiation interaction models
por: Quezada Mata, Luis Fernando
Publicado: (2018)

Copula-based modeling for petrophysical property prediction using seismic attributes as secondary variables
por: Le, Van Huong
Publicado: (2021)

Data science based models for evaluating the performance of microgrids with distributed generation and energy storage
por: Martínez Pérez, Eduardo Rafael
Publicado: (2022)

Compositional streamline-based modeling of polymer flooding including rheology, retention and salinity variation
por: Rosado Vázquez, Francisco Javier
Publicado: (2023)

Modeling strongly interacting supernovae
por: Ventura Vargas, Felipe
Publicado: (2023)

Integrated integral population models
por: Portillo Tzompa, Paola Ivette
Publicado: (2024)

Controladores programables : caracteristicas generales y propuesta de un controlador programable
por: Vargas Voracek, Rene
Publicado: (1989)

Modeling of VSC-based power sources using dynamic phasors for the analysis of three-phase electrical networks
por: Hernández Sánchez, Jesús
Publicado: (2024)

Dynamic models in macroparasite communities and their hosts
por: Ojeda Avilés, Eddel Eli
Publicado: (2020)

Elementos basicos de ProModel
por: Villegas Padilla, Maria de Jesus
Publicado: (2007)

Neutrino masses : radiative models and phenomenology
por: Martínez Ramírez, Rolando
Publicado: (2024)

Continuous models for bacterial aggregation with chemotaxis and non-linear degenerate diffusion : modeling, numerical simulations and analysis of traveling fronts
por: Leyva Bonilla, Juan Francisco
Publicado: (2017)

A frailty model for the mexican economy: a copula approach
por: Mercado Mendoza, Mario Alejandro
Publicado: (2015)

Sintetizador musical polifonico programable
por: Garduño Delgado, Eduardo
Publicado: (1992)

Obra de arte programable
por: Díaz Durán, Joaquín Roberto
Publicado: (2014)

El controlador logico programable
por: Zepeda Florencio, Ubaldo, et al.
Publicado: (1993)

Re-conocer re-configurar re-construir Unidad Habitacional El Higuerón Estado de Morelos, México
por: Piña Rodríguez, Jimena, et al.
Publicado: (2019)

Genealogies in population models with seed bank effects
por: Peñaloza Velasco, Lizbeth
Publicado: (2021)

Fractal fractional dual porosity diffusion model
por: Hernández Pérez, Noé Jesús
Publicado: (2022)

Restricted or coloured graphical log-linear models
por: Ramírez Aldana, Ricardo
Publicado: (2010)

Population models with selection and the bolthausen-sznitman coalescent
por: Hernández Wences, Alejandro
Publicado: (2022)

Discriminant analysis with gaussian graphical tree models
por: Pérez de la Cruz, Gonzalo
Publicado: (2015)

Neutrino mass generation and dark matter models
por: Lamprea Garzón, Jorge Mario
Publicado: (2018)

Controlador lineal programable de temperatura
por: Castillo Alvarez, Marco Antonio, et al.
Publicado: (1994)