Rebekah Carter

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Partially Observable

Dynamical Systems

Nonlinear Dynamics

Top Venues

Theor. Comput. Sci.

Publications

Eva M. Navarro-López, Rebekah Carter
Deadness and how to disprove liveness in hybrid dynamical systems. Theor. Comput. Sci. 642 (2016)
Rebekah Carter, Eva M. Navarro-López
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems. FORMATS (2012)
Eva M. Navarro-López, Rebekah Carter
Hybrid automata: an insight into the discrete abstraction of discontinuous systems. Int. J. Syst. Sci. 42 (11) (2011)