4693 search results - page 374 / 939 » Verifying Hybrid Systems |
159
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
165
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
178
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
184
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
199
Voted
ENTCS
2006
15 years 6 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...