Zobrazeno 1 - 10
of 1 942
pro vyhledávání: '"Dell'erba A"'
We propose DFAMiner, a passive learning tool for learning minimal separating deterministic finite automata (DFA) from a set of labelled samples. Separating automata are an interesting class of automata that occurs generally in regular model checking
Externí odkaz:
http://arxiv.org/abs/2405.18871
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the properties that optimal solutions need to have, and devised a novel way
Externí odkaz:
http://arxiv.org/abs/2404.04124
Publikováno v:
Risk Management and Healthcare Policy, Vol Volume 10, Pp 87-93 (2017)
Davide Ferorelli,1 Teresa Giandola,2 Mariangela Laterza,2 Biagio Solarino,2 Angela Pezzolla,3 Fiorenza Zotti,2 Alessandro Dell’Erba1 1Interdisciplinary Department of Medicine, 2Section of Legal Medicine, 3Department of Emergency and Organ Transplan
Externí odkaz:
https://doaj.org/article/67d8cb0bb9444e2f907396801e6fc2bd
Autor:
Austin, Peter, Dell'Erba, Daniele
An improved exponential time algorithm for Energy Games and Mean Payoff Games has been recently proposed in ICALP 19. The new algorithm prevents some of the repetitive operations performed by the classic value iteration algorithm of Brim et al., lead
Externí odkaz:
http://arxiv.org/abs/2310.04130
Publikováno v:
EPTCS 390, 2023, pp. 203-219
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the constraints that optimal solutions need to satisfy, and devised a novel
Externí odkaz:
http://arxiv.org/abs/2310.01008
Autor:
Davide Ferorelli, Vito Maria Goffredo, Elena Graziano, Maurizio Mastrapasqua, Michele Telegrafo, Annachiara Vinci, Paolo Visci, Marcello Benevento, Fiorenza Zotti, Alessandra Foglianese, Raffaella Panza, Biagio Solarino, Alessandro Dell’Erba, Nicola Laforgia
Publikováno v:
Frontiers in Medicine, Vol 11 (2024)
IntroductionNeonatal sepsis, classified into early-onset and late-onset based on symptom timing, poses significant risks of morbidity and mortality, especially in low birth weight infants. Effective clinical risk management protocols are crucial in r
Externí odkaz:
https://doaj.org/article/2b53e3fe32d5406dbd0b4602969a9b44
Autor:
Dell'Erba, Daniele, Schewe, Sven
Publikováno v:
Frontiers in Computer Science, 4, 2022
Calude et al. have recently shown that parity games can be solved in quasi-polynomial time, a landmark result that has led to a number of approaches with quasi-polynomial complexity. Jurdinski and Lasic have further improved the precise complexity of
Externí odkaz:
http://arxiv.org/abs/2205.00744
Publikováno v:
In Journal of Computer and System Sciences February 2025 147
Publikováno v:
In Information and Computation March 2024 297
We develop an algorithm that combines the advantages of priority promotion - one of the leading approaches to solving large parity games in practice - with the quasi-polynomial time guarantees offered by Parys' algorithm. Hybridising these algorithms
Externí odkaz:
http://arxiv.org/abs/2105.01738