The following pages link to Dana Fisman (Q329610):
Displayed 35 items.
- Learning regular omega languages (Q329611) (← links)
- Embedding finite automata within regular expressions (Q947783) (← links)
- Inferring regular languages and \(\omega\)-languages (Q1648037) (← links)
- Vacuity in practice: temporal antecedent failure (Q2018060) (← links)
- Regular \(\omega\)-languages with an informative right congruence (Q2029605) (← links)
- Colored nested words (Q2149962) (← links)
- Streamable regular transductions (Q2286735) (← links)
- A Complexity Measure on Büchi Automata (Q2798713) (← links)
- Colored Nested Words (Q2798716) (← links)
- Regular Programming for Quantitative Properties of Data Streams (Q2802466) (← links)
- Learning Regular Omega Languages (Q2938728) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- (Q3384896) (← links)
- Temporal Antecedent Failure: Refining Vacuity (Q3525657) (← links)
- Rational Synthesis (Q3557077) (← links)
- (Q4449225) (← links)
- (Q4474215) (← links)
- (Q4551164) (← links)
- (Q4603446) (← links)
- Families of DFAs as Acceptors of omega-Regular Languages (Q4608569) (← links)
- Query Learning of Derived Omega-Tree Languages in Polynomial Time (Q5111177) (← links)
- Polynomial Identification of $$\omega $$-Automata (Q5164178) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- A topological characterization of weakness (Q5177218) (← links)
- (Q5232903) (← links)
- A Modular Approach for Büchi Determinization. (Q5357716) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
- (Q5874193) (← links)
- Learning of Structurally Unambiguous Probabilistic Grammars (Q5883734) (← links)
- Hardware and Software, Verification and Testing (Q5898456) (← links)
- Computer Aided Verification (Q5900668) (← links)
- (Q6124953) (← links)
- Inferring Symbolic Automata (Q6135753) (← links)
- Representing regular languages of infinite words using mod 2 multiplicity automata (Q6141755) (← links)
- Learning and characterizing fully-ordered lattice automata (Q6160917) (← links)