Showing results (1-10 of 61) with videos related to
Sort By:
Pageof 7
Journal of Computer and System Sciences|October 31, 2015
Strategy improvement for concurrent reachability and turn-based stochastic safety gamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A HenzingerProceedings of the National Academy of Sciences of the United States of America|March 19, 2025
Hardware-optimal quantum algorithmsStefanie Muroya, Krishnendu Chatterjee, Thomas A HenzingerComputer Science (Berlin, Germany)|April 13, 2016
Quantitative reactive modeling and verificationThomas A HenzingerPhilosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|August 2, 2008
Two challenges in embedded systems design: predictability and robustnessThomas A HenzingerIEEE/ACM Transactions on Computational Biology and Bioinformatics|July 11, 2012
The propagation approach for computing biochemical reaction networksThomas A Henzinger, Maria MateescuProceedings of the National Academy of Sciences of the United States of America|December 15, 2025
Promoters of cooperation in evolutionary gamesJakub Svoboda, Krishnendu ChatterjeeProceedings of the National Academy of Sciences of the United States of America|December 6, 2024
Density amplifiers of cooperation for spatial gamesJakub Svoboda, Krishnendu ChatterjeeBMC Systems Biology|April 6, 2007
Qualitative networks: a symbolic approach to analyze biological signaling networksMarc A Schaub, Thomas A Henzinger, Jasmin FisherPageof 7