Results 101 to 110 of about 78,943 (189)

Bisimulations for Kripke models of Fuzzy Multimodal Logics

open access: yes, 2022
The main objective of the dissertation is to provide a detailed study of several different types of simulations and bisimulations for Kripke models of fuzzy multimodal logics. Two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) are presented hereby. For each
openaire   +1 more source

Context-Aware Multi-Agent Architecture for Wildfire Insights. [PDF]

open access: yesSensors (Basel)
Sandeep A   +5 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy