Maxim Jourenko

dblp:181/7348 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
3since 2021 · last 2025
0009-0006-8414-781XORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 4 · 3 first-author · 3 since 2021Artificial intelligence and machine learning · 1
YearPublicationVenuePosition
2025 Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
Maxim Jourenko, Marcus Völker
CANS1
2024 Scalable and Lightweight State-Channel Audits
Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira
CANS (1)2
2023 State Machines Across Isomorphic Layer 2 Ledgers
Maxim Jourenko, Mario Larangeira
FC1
2020 Lightweight Virtual Payment Channels
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
CANS1
2016 Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and Simulation
abstract
In this paper, we report on our entry for the AI Birds competition, where we designed, implemented, and evaluated an agent for the physics puzzle computer game Angry Birds. Our agent uses search and simulation to find appropriate parameters for launching birds. While there are other methods that focus on qualitative reasoning about physical systems we try to combine simulation and adjustable abstractions to efficiently traverse the possibly infinite search space. The agent features a hierarchical search scheme where different levels of abstractions are used. At any level, it uses simulation to rate subspaces that should be further explored in more detail on the next levels. We evaluate single components of our agent and we also compare the overall performance of different versions of our agent. We show that our approach yields a competitive solution on the standard set of levels.
Stefan Schiffer 0002, Maxim Jourenko, Gerhard Lakemeyer
IEEE Trans. Comput. Intell. AI Games2