Synthesis of real time acceptors
From MaRDI portal
Recommendations
- Real-time equivalence of chemical reaction networks and analog computers
- Robust real-time computing with chemical reaction networks
- Verification, Model Checking, and Abstract Interpretation
- Synthesis of Reactive(1) designs
- Specifiable robustness in reactive synthesis
- scientific article; zbMATH DE number 1418467
- Synthesis for continuous time
Cites work
- scientific article; zbMATH DE number 3727583 (Why is no real title available?)
- scientific article; zbMATH DE number 67615 (Why is no real title available?)
- scientific article; zbMATH DE number 67617 (Why is no real title available?)
- scientific article; zbMATH DE number 3201659 (Why is no real title available?)
- scientific article; zbMATH DE number 3248552 (Why is no real title available?)
- scientific article; zbMATH DE number 3264081 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- Language identification in the limit
- Learning regular sets from queries and counterexamples
Cited in
(3)
This page was built for publication: Synthesis of real time acceptors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1322856)