Semantic Scholar uses AI to extract papers important to this topic.
Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the… Expand In this paper we propose a new method for reachability analysis of the class of discrete-time polynomial dynamical systems. Our… Expand Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template… Expand In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction… Expand Generic functions and classes typically accept a fixed number of type arguments. However, generic functions and classes that… Expand Generic functions and classes accepting a variable number of type arguments have proven to be a very useful, but missing, feature… Expand This work is partially supported by the EPSRC through Grant GR/L32699 “Compliant System Architecture” and by ESPRIT through… Expand Recursive query processing in deductive databases has attracted much attention recently, and both top-down and bottom-up… Expand A description is given of the concept of a multiagent plan-recognition model to assist a naval tactical decision maker in… Expand This article presents a model of the reflective tower based on the formal semantics of its levels. They are related extensionally… Expand