Krishnendu Chatterjee

Untersuchen, wie Bevölkerungsstrukturen die Mutation verbreiten und evolutionäre Prozesse beeinflussen.

Eine neue Methode automatisiert die Analyse von probabilistischen Programmausgaben.

Ein Blick auf komplexe Spielerstrategien und Ziele in gleichzeitigen stochastischen Spielen.

Strategie und Komplexität in diskontierten Summenspielen zwischen zwei Spielern erkunden.

Ein genauerer Blick auf egoistische Mining-Angriffe und ihre Auswirkungen auf die Sicherheit von Blockchains.

Dieser Artikel spricht über eine neue Perspektive auf Markov-Entscheidungsprozesse für Multi-Agenten-Systeme.

Entdecke, wie POMDPs Entscheidungsfindung mit Unsicherheit modellieren und welche praktischen Anwendungen es dafür gibt.

Ein Blick in die Welt der quantifizierten Formeln und deren Erfüllbarkeit.