×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Křetínský, Jan; Meggendorfer, Tobias; Prokop, Maximilian; Rieder, Sabine

Guessing winning policies in LTL synthesis by semantic learning. (English) Zbl 07798073

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 390-414 (2023).
MSC:  68Q60 03B44 68Q32 68Q45 91A80
Cite Review PDF
Full Text: DOI arXiv
OA License
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun

Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022).
MSC:  68Q45
Cite Review PDF
Full Text: DOI arXiv
OA License

Filter Results by …

all top 5

Author

Year of Publication

Main Field

all top 3

Software