Sciweavers

2012 search results - page 2 / 403
» CORAL - Control, Relations and Logic
Sort
View
124
Voted
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations
Félix Bou, Francesc Esteva, Lluis Godo, Ric...
CONCUR
2011
Springer
14 years 5 months ago
A Spectrum of Behavioral Relations over LTSs on Probability Distributions
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
Silvia Crafa, Francesco Ranzato