"Automatic approximation" . "Security protocol" . "Machine learning"@en . <089057872> . "Random Walk"@en . "Tree automata"@en . "Quality of Service"@en . "Tree-walking automaton"@en . <0000-0002-1125-1767> . "Average complexity"@en . "Symbolic animation"@en . "Non-deterministic automata"@en . "Automata"@en . "Regular tree languages"@en . "Max/plus automata"@en . . "HLPSL"@en . "Cost distributions"@en . "Distribution de co\u00FBts"@fr . "Reachability problem"@en . "Security protocols"@en . "Decidability"@en . "Ordonnancement par \u00E9tag\u00E8res"@fr . "Security"@en . "Asymptotic performance"@en . "Membership problem"@en . "Hamiltonian cycles"@en . "Empirical evaluation"@en . "Pierre-Cyrille Heam" . "Undecidable"@en . "Mutation testing"@en . "Algebraic properties"@en . "TAGED"@en . "Longest Processing Time LPT heuristic"@en . "Test"@fr . "Rewriting techniques"@en . "Finite automata" . "Pseudorandom Numbers Generator"@en . "The original publication is available at wwwspringerlinkcom"@en . "Tree automata with constraints"@en . "Automates finis"@fr . "Shelf scheduling"@en . "Abstractions"@en . "Regular model checking" . "Pierre-Cyrille" . "Tree automaton"@en . "Component"@en . "Substitutivity"@en . "N-cube"@en . . "Abstraction refinement"@en . "Regular model cheking" . "Markov chains"@en . "Gray Codes"@en . "Constraint solving"@en . "Composition"@en . "Difficult cases"@en . "Performance asymptotique"@fr . "Approximations"@en . . "Model-based testing"@en . "Infinite Words"@en . . "Model-checking"@en . "Evaluation empirique"@fr . . "V\u00E9rification"@fr . "Modelisation"@en . . "Top-down automaton"@en . "Left-linearity"@en . "2f56fd8fd7dd4e65faaf995d76f23dcc" . "Semi-commutations"@en . "Finite Automata"@en . . "Formal methods"@en . "Random generation"@en . "\u00C9valuation empirique"@fr . . "Transitive Closures"@en . . . "Chaotic Iterations"@en . . "Sequential transducer"@en . . . "Regular languages"@en . . "Chinese Postman algorithm"@en . "Simulation"@en . . "PRNG"@en . "AVISPA"@en . "Minimisation d\u2019\u00E9nergie"@fr . . . . "Web Services"@en . "Verification"@en . . "Emptiness problem"@en . "Parametric systems" . . "Uniform distribution"@en . "Mixing time"@en . . "Test generation"@en . "Heuristique LPT Longest Processing Time"@fr . "Heam" . "Safe and sound abstractions"@en . "Energy minimization"@en . "QoS"@en . "Verifications"@en . "Theoretical limit"@en .