588 search results - page 80 / 118 » Differential Logic for Reasoning About Hybrid Systems |
151
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
137
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
123
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
133
Voted
EUSFLAT
2009
14 years 11 months ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...
122
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...