17054 search results - page 18 / 3411 » Logics of Dynamical Systems |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
DALT
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...