Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

J. Hao, S. Song, Y. Liu, J. Sun, L. Gui, J. Dong, and H. fung Leung. PRIMA, volume 7455 of Lecture Notes in Computer Science, page 16-30. Springer, (2012)

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.

Laura-Ann Dönges University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Qian Song University of Stuttgart

Jianing Song University of Stuttgart

Bowen Song University of Stuttgart

Other publications of authors with the same name

Analysing Web Ontology in Alloy: A Military Case Study.J. Dong, J. Sun, H. Wang, C. Lee, and H. Lee. SEKE, page 542-546. (2003)TRMCS in TCOZ.J. Liu, J. Dong, and J. Sun. IWSSD, page 63-74. IEEE Computer Society, (2000)Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.K. Taguchi, and J. Dong. IJAOSE, 2 (4): 449-474 (2008)Editorial.R. Paige, P. Brooke, J. Dong, and J. Woodcock. Formal Asp. Comput., 21 (4): 303 (2009)Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.N. Tun, and J. Dong. KR, page 318-328. AAAI Press, (2008)Computer-aided dispatch system family architecture and verification: an integrated formal approach.J. Sun, J. Dong, S. Jarzabek, and H. Wang. IEE Proceedings - Software, 153 (3): 102-112 (2006)A framework for adding time into formal object models.J. Dong, and L. Zucconi. WORDS, page 26-31. IEEE Computer Society, (1997)Class Union and Polymorphism.J. Dong, and R. Duke. TOOLS (12/9), page 181-190. Prentice Hall, (1993)An XML/XSL Approach to Visualize and Animate TCOZ.J. Sun, J. Dong, J. Liu, and H. Wang. APSEC, page 453-460. IEEE Computer Society, (2001)Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows.S. Stupnikov, L. Kalinichenko, and J. Dong. ADBIS Research Communications, page 206-216. Slovak University of Technology, Bratislava, (2002)