113 search results - page 10 / 23 » LTL Can Be More Succinct |
AAAI
2008
15 years 9 days ago
2008
We introduce in this paper two new, complete propositional languages and study their properties in terms of (1) their support for polytime operations and (2) their ability to repr...
IFIP12
2008
14 years 11 months ago
2008
This paper presents an approach for mining fuzzy Association Rules (ARs) relating the properties of composite items, i.e. items that each feature a number of values derived from a ...
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
TKDE
2008
14 years 10 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
103
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...