7.2k citations
- Centre National de la Recherche ScientifiqueFR742 papers
- University of Maryland, College ParkUS687 papers
- Centro Brasileiro de Pesquisas FísicasBR639 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR634 papers
- University of ZurichCH631 papers
- Imperial College LondonGB616 papers
- Massachusetts Institute of TechnologyUS575 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR574 papers
- University College DublinIE574 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT569 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT563 papers
- CEA Paris-SaclayFR560 papers
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024★ 2 cited
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja +1
Markov decision processes (MDPs) with rewards are a widespread and well-studied model for systems that make both probabilistic and nondeterministic choices. A fundamental result ab…
cs.LO2024★ 4 cited
Choiceless Computation and Symmetry: Limitations of Definability
Benedikt Pago
The search for a logic capturing PTIME is a long standing open problem in finite model theory. One of the most promising candidate logics for this is Choiceless Polynomial Time wit…