Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
Interface automata
2
Automated control
1
Behaviour models
1
Controller synthesis
1
Controllers
1
Existence of a solutions
1
Imperfect information games
1
Interaction model
1
LTS
1
Model checking
1
Probabilistic extension
1
Probabilistic modelling
1
Probability
1
Qualitative information
1
Quantitative information
1
Reliability engineering
1
Software Specification
1
Software component
1
Software engineering
1
Specifications
1
Synthesis algorithms
1
controller synthesis
1
imperfect-information games
1
interface automata
1
model checking
1
probability
1
-
1Materias: “...Qualitative information...”
JOUR -
2Materias: “...imperfect-information games...”
JOUR