The Complexity of Bounded Synthesis for Timed Control with Partial Observability

Peter, Hans-Jörg and Finkbeiner, Bernd
(2012) The Complexity of Bounded Synthesis for Timed Control with Partial Observability.
In: Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item