( en | de | ru )

 

Disambiguierung von "Xiao, Shengping"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Guided Synthesis for LTL over Finite Traces.

, , , , , , , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fang Xiao

Wenjiang Xiao

Chun Xiao

Meifang Xiao

Jianping Xiao

 

Weitere Publikationen von Autoren mit dem selben Namen

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work., , , , , und . IJCAI, Seite 2591-2598. ijcai.org, (2022)LTLf Satisfiability Checking via Formula Progression (S)., , , , , und . SEKE, Seite 357-362. KSI Research Inc., (2023)SAT-Based Automata Construction for LTL over Finite Traces., , , , und . APSEC, Seite 1-10. IEEE, (2020)FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format., , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 36-43. Springer, (2023)Accelerate Safety Model Checking Based on Complementary Approximate Reachability., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (9): 3105-3117 (September 2023)On-the-fly Synthesis for LTL over Finite Traces., , , , , und . AAAI, Seite 6530-6537. AAAI Press, (2021)Model-Guided Synthesis for LTL over Finite Traces., , , , , , , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2024)Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding., , , , und . ICCAD, Seite 126:1-126:9. ACM, (2022)