588 search results - page 74 / 118 » Differential Logic for Reasoning About Hybrid Systems |
129
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
MONTEREY
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
125
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
124
Voted
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...