23 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Counterexample Generation for Infinite-State Chemical Reaction Networks
Mohammad Ahmadi, Zhen Zhang, Chris Myers +2
Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough t…
cond-mat2003★ 23 cited
Fano Lineshapes Revisited: Symmetric Photoionization Peaks from Pure Continuum Excitation
U. Eichmann, T. F. Gallagher, R. M. Konik
In a photoionization spectrum in which there is no excitation of the discrete states, but only the underlying continuum, we have observed resonances which appear as symmetric peaks…