Synthesis of real time acceptors

DOI10.1016/S0747-7171(06)80013-1MaRDI QIDQ1322856zbMATH OpenFDO

Authors Amr F. Fahmy, Alan W. Biermann

Publication date 12 January 1995

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

data structureautomatic constructionreal time acceptor

Mathematics Subject Classification ID

Data structures (68P05) Abstract data types; algebraic specification (68Q65)

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)

• Efficient learning of real time one-counter automata
• Recent advances of grammatical inference
• Grammatical inference: An old and new paradigm

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)