Cited By
View all- Li YChen YZhang LLiu D(2021)A novel learning algorithm for Büchi automata based on family of DFAs and classification treesInformation and Computation10.1016/j.ic.2020.104678281:COnline publication date: 1-Dec-2021
- Zhang LYang PSong LHermanns HEisentraut CJansen DGodskesen J(2018)Probabilistic bisimulation for realistic schedulersActa Informatica10.1007/s00236-018-0313-155:6(461-488)Online publication date: 1-Sep-2018
- Li YTurrini AZhang LSchewe S(2017)Learning to Complement Büchi AutomataVerification, Model Checking, and Abstract Interpretation10.1007/978-3-319-73721-8_15(313-335)Online publication date: 29-Dec-2017
- Show More Cited By