From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Strategy Improvement for Concurrent Reachability Games.

K. Chatterjee, L. de Alfaro, и T. Henzinger. QEST, стр. 291-300. IEEE Computer Society, (2006)

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.

Computer-aided Verification of Embedded Systems.T. Henzinger. IFIP Congress: Fundamentals - Foundations of Computer Science, том 117 из books@ocg.at, стр. 89-92. Austrian Computer Society, (1998)Lipschitz Robustness of Timed I/O Systems.T. Henzinger, J. Otop, и R. Samanta. CoRR, (2015)Algorithms for Omega-Regular Games with Imperfect InformationK. Chatterjee, L. Doyen, T. Henzinger, и J. Raskin. CoRR, (2007)Some Myths About Formal Verification.T. Henzinger. ACM Comput. Surv., 28 (4es): 119 (1996)Parametric real-time reasoning.R. Alur, T. Henzinger, и M. Vardi. STOC, стр. 592-601. ACM, (1993)From boolean to quantitative synthesis.P. Cerný, и T. Henzinger. EMSOFT, стр. 149-154. ACM, (2011)Biology As ReactivityJ. Fisher, D. Harel, и T. Henzinger. Commun. ACM, 54 (10): 72--82 (октября 2011)Quantitative Simulation Games.P. Cerný, T. Henzinger, и A. Radhakrishna. Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 42-60. Springer, (2010)Randomness for Free.K. Chatterjee, L. Doyen, H. Gimbert, и T. Henzinger. MFCS, том 6281 из Lecture Notes in Computer Science, стр. 246-257. Springer, (2010)Synthesis of Uninitialized Systems.T. Henzinger, S. Krishnan, O. Kupferman, и F. Mang. ICALP, том 2380 из Lecture Notes in Computer Science, стр. 644-656. Springer, (2002)