Repositorios 2

Logical characterization 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