Đorđe Žikelić

Explore the dynamics and strategies of bidding games between players.

A new method automates analysis of probabilistic program outputs.

A closer look at selfish mining attacks and their impact on blockchain security.

This article discusses a new perspective on Markov Decision Processes for multi-agent systems.

Innovative runtime monitoring enhances safety and stability in drones and ships.

A look into the world of quantified formulas and their satisfiability.

Learn how predictive monitoring enhances safety in self-driving cars and robots.