57 search results - page 1 / 12 » Bounded Reachability for Temporal Logic over Constraint Syst... |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CORR
2011
Springer
13 years 10 days ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
SEFM
2009
IEEE
14 years 2 days ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
CADE
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...