In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
In regression analysis, outliers always represent difficulties because they cause modeling errors. But under certain circumstances, they can actually contain useful information, as...
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
The problem of consistent estimation in measurement error models in a linear relation with not necessarily normally distributed measurement errors is considered. Three possible es...
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...