scientific article; zbMATH DE number 3328724
From MaRDI portal
zbMath0206.47902MaRDI QIDQ5606989
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Matching regular expressions on uncertain data, Transfer of Model Checking to Industrial Practice, The mu-calculus and Model Checking, Unnamed Item, The synthesis problem for repeatedly communicating Petri games, On the relation between reactive synthesis and supervisory control of non-terminating processes, Solving high-level Petri games, High-level representation of benchmark families for Petri games, Algorithms: From Al-Khwarizmi to Turing and Beyond, Synthesis of deterministic top-down tree transducers from automatic tree relations, From Logic to Theoretical Computer Science – An Update, Church’s Problem and a Tour through Automata Theory, From Monadic Logic to PSL, Unnamed Item, Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, A symbolic algorithm for lazy synthesis of eager strategies, Reactive synthesis from interval temporal logic specifications, Computability and realizability for interactive computations, Synthesis in presence of dynamic links, Timed Petri nets with reset for pipelined synchronous circuit design, Canonical representations for direct generation of strategies in high-level Petri games
