Rebekah Carter

According to our database, Rebekah Carter authored at least 3 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Deadness and how to disprove liveness in hybrid dynamical systems.

Eva M. Navarro-López, Rebekah Carter

Theor. Comput. Sci., 2016

2012

Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.

Rebekah Carter, Eva M. Navarro-López

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Hybrid automata: an insight into the discrete abstraction of discontinuous systems.

Eva M. Navarro-López, Rebekah Carter

Int. J. Syst. Sci., 2011