Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logical characterization
5
Artificial intelligence
2
Automatic synthesis
2
Bisimulation
2
Borel space
2
Continuous probabilities
2
Correct solution
2
Efficient synthesis
2
Logic
2
Model Check
2
Nondeterministic Markov decision process
2
Probabilistic automaton
2
Reactive synthesis
2
Synthesis (chemical)
2
Transition probability function
2
Modal logics
1
Probabilistic transition systems
1
Transition relation over distributions
1
Weak bisimulations
1
-
1Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
2Publicado 2015Materias: “...Logical characterization...”
-
3por Sardina, S., D'Ippolito, N., Wooldridge M., Yang Q., Alibaba.com; Department of Computer Science and Engineering at Universidad Nacional del Sur; Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University; et al.; International Joint Conferences on Artificial Intelligence (IJCAI); Ministry of Science, Technology and Productive InnovationMaterias: “...Logical characterization...”
CONF -
4por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Logical characterization...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
5por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Logical characterization...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart