( en | de | ru )

 

Disambiguation of "Wang, Ji"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification Based Synthesis for Behavior Trees.

, , , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 72-91. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Ji Haas

 

Other publications of authors with the same name

Scheduling jobs with chain precedence constraints and deteriorating jobs., , and . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Searching for the Transit of the Earth--mass exoplanet Proxima~Centauri~b in Antarctica: Preliminary Result, , , , , , , , , and 14 other author(s). (2017)cite arxiv:1711.07018Comment: 17 pages, 8 figures, 2 tables, accepted by The Astronomical Journal.Influence of Stellar Multiplicity On Planet Formation. I. An Insight From $Kepler$ Multiple Planet Candidate Systems, , , and . (2013)cite arxiv:1309.7097Comment: 47 pages, 9 figures, 5 tables, submitted to ApJ.A Method of Correction for Marine Seismic Acquisition., and . IGARSS (2), page 384-387. IEEE, (2009)Slicing Hierarchical Automata for Model Checking UML Statecharts, , and . (2002)SAWSDL-iMatcher : a Customizable and Effective Semantic Web Service Matchmaker, , , and . (2011)Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking., , , , and . SERE (Companion), page 204-210. IEEE, (2013)A tighter analysis of Piterman's Büchi determinization., and . Inf. Process. Lett., 109 (16): 941-945 (2009)Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel., , , , , and . CoRR, (2018)Do Drivers Prefer Female Voice for Guidance? An Interaction Design About Information Type and Speaker Gender for Autonomous Driving Car., , and . HCI (31), volume 11596 of Lecture Notes in Computer Science, page 208-224. Springer, (2019)