Results 161 to 170 of about 25,570,341 (217)
Some of the next articles are maybe not open access.
Model checking multiagent systems
Journal of Logic and Computation, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Benerecetti +2 more
openaire +3 more sources
Model Checking Real-Time Systems
Handbook of Model Checking, 2018Patricia Bouyer +5 more
semanticscholar +1 more source
2000
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
1994
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source
A Survey of Statistical Model Checking
ACM Transactions on Modeling and Computer Simulation, 2018G. Agha, Karl Palmskog
semanticscholar +1 more source
The biofilm life cycle: expanding the conceptual model of biofilm formation
Nature Reviews Microbiology, 2022Karin Sauer +2 more
exaly
The mu-calculus and Model Checking
Handbook of Model Checking, 2018Julian Bradfield, I. Walukiewicz
semanticscholar +1 more source
Model Checking Probabilistic Systems
Handbook of Model Checking, 2018C. Baier +3 more
semanticscholar +1 more source