Editorial Board
Approximate weighted model integration on DNF structures
Choice logics and their computational properties
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control
A computational model of Ostrom's Institutional Analysis and Development framework
Optimizing the computation of overriding in DLN
Risk-averse policy optimization via risk-neutral policy optimization
Multi-agent path finding with mutex propagation
Multi-robot adversarial patrolling strategies via lattice paths