scientific article; zbMATH DE number 1263212

zbMath0978.68522MaRDI QIDQ4234083

Mihalis Yannakakis, Rajeev Alur, Costas Courcoubetis

Publication date: 29 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, On the synthesis of adaptive tests for nondeterministic finite state machines, Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata, A survey on observability of Boolean control networks, Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation, Hardness and inapproximability of minimizing adaptive distinguishing sequences, Synthesis of distinguishing test cases for timed finite state machines, The complexity of asynchronous model based testing, Synthesizing adaptive test strategies from temporal logic specifications, Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines, Recursive Markov Decision Processes and Recursive Stochastic Games, Unnamed Item, Play to Test, A Note on an Anomaly in Black-Box Testing, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, POMDPs under probabilistic semantics, On the undecidability of probabilistic planning and related stochastic optimization problems