DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-90653-4_11,19740,KrCh,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning
10.1609/aaai.v39i11.33213,19667,KrCh,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
10.1609/aaai.v39i11.33212,19669,KrCh,Linear equations with min and max operators: Computational complexity
10.5281/ZENODO.14626585,19771,KrCh,Artifact: Fixed point certificates for reachability and expected rewards in MDPs
10.15479/AT-ISTA-19903,19903,"GradSch,KrCh",Reciprocity and inequality in social dilemmas
10.1016/j.celrep.2025.116080,20099,PeJo,Cell-specific wiring routes information flow through hippocampal CA3
10.1093/pnasnexus/pgaf154,19843,KrCh,Stable strategies of direct and indirect reciprocity across all social dilemmas
10.1007/s13235-025-00627-5,19074,KrCh,Time-dependent strategies in repeated asymmetric public goods games
10.15479/AT-ISTA-20138,20138,"GradSch,KrCh",Structural properties of games on graphs
null,20299,"KrCh,GradSch",Lower bound on Howard policy iteration for deterministic Markov Decision Processes
null,20297,"KrCh,GradSch",Limit-sure reachability for small memory policies in POMDPs is NP-complete
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification
10.1007/s13235-025-00636-4,19508,"MaKw,KrCh",Random zero-sum dynamic games on infinite directed graphs
null,20302,KrCh,Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
10.1103/tldp-kvkd,20646,"GradSch,BjHo,MaSe",Finding periodic orbits in projected quantum many-body dynamics
10.1103/crwj-x7j8,20709,MaSe,Finite steady-state current defies non-Hermitian many-body localization
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1109/lics65433.2025.00041,20690,KrCh,Risk-aware Markov decision processes using cumulative prospect theory
10.1109/lics65433.2025.00044,20689,KrCh,Multiplicative rewards in Markovian models