The following pages link to Yih-Kuen Tsay (Q671673):
Displaying 14 items.
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- Some impossibility results in interprocess synchronization (Q1261111) (← links)
- Algorithmic analysis of programs with well quasi-ordered domains. (Q1854355) (← links)
- State of B\"uchi Complementation (Q2938766) (← links)
- Büchi Store: An Open Repository of Büchi Automata (Q3000654) (← links)
- State of Büchi Complementation (Q3073645) (← links)
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES (Q3395145) (← links)
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (Q3602799) (← links)
- Learning Minimal Separating DFA’s for Compositional Verification (Q3617752) (← links)
- (Q4508313) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages (Q5458316) (← links)
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic (Q5458337) (← links)
