Rebekah Carter

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Deadness and how to disprove liveness in hybrid dynamical systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

2012

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

[BibT_eX]

[DOI]

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

2011

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

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2011