Pages that link to "Item:Q1036131"

The following pages link to FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings (Q1036131):

Displayed 8 items.

• Twenty years of rewriting logic (Q1931904) ‎ (← links)
• \(L^\ast\)-based learning of Markov decision processes (extended version) (Q1982638) ‎ (← links)
• Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) ‎ (← links)
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) ‎ (← links)
• Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213) ‎ (← links)
• Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769) ‎ (← links)
• A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages (Q6166837) ‎ (← links)
• Fingerprinting and analysis of Bluetooth devices with automata learning (Q6185823) ‎ (← links)