Leibniz international proceedings in informatics
Source
ISSN 1868-8969
Source type: journal
Publisher:
Fully open access: Yes
In DOAJ: Yes
2yr mean citedness: 0.333
H-index: 1
I10-index:
Works count:
Citations count:
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
2018 · Jan Křetínský, Guillermo A. Pérez, et al. · Leibniz international proceedings in informatics
Threshold constraints with guarantees for parity objectives in markov decision processes
2017 · Raphaël Berthon, Mickaël Randour, et al. · Leibniz international proceedings in informatics
Two-Way Parikh Automata
2019 · Emmanuel Filiot, Shibashis Guha, et al. · Leibniz international proceedings in informatics