Personensuche
X
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
2
Game Dynamics and Equilibrium Computation in the Population..:
, In:
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3
Deterministic Sub-exponential Algorithm for Discounted-sum ..:
, In:
?
NOMS 2024-2024 IEEE Network Operations and Management Symposium ,
5
Congestion-Free Rerouting of Network Flows: Hardness and an..:
, In:
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
7
Fully Automated Selfish Mining Analysis in Efficient Proof ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
A Learner-Verifier Framework for Neural Network Controllers..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
MDPs as Distribution Transformers: Affine Invariant Synthes..:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
13
R2: Boosting Liquidity in Payment Channel Networks with Onl..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
14