scientific article; zbMATH DE number 3328724
From MaRDI portal
Publication:5606989
Cited in
(26)- Reactive synthesis from interval temporal logic specifications
- 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
- 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
- A symbolic algorithm for lazy synthesis of eager strategies
- Computability and realizability for interactive computations
- Transfer of model checking to industrial practice
- The mu-calculus and Model Checking
- Algorithms: From Al-Khwarizmi to Turing and Beyond
- scientific article; zbMATH DE number 7204449 (Why is no real title available?)
- Synthesis of deterministic top-down tree transducers from automatic tree relations
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- From Logic to Theoretical Computer Science – An Update
- Church’s Problem and a Tour through Automata Theory
- From Monadic Logic to PSL
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- High-level representation of benchmark families for Petri games
- Distributed controller synthesis for deadlock avoidance
- Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
- (Un)decidability bounds of the synthesis problem for Petri games
- Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
- Simplicity lies in the eye of the beholder: a strategic perspective on controllers in reactive synthesis
- Matching regular expressions on uncertain data
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5606989)
