External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate. Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 10-29, Springer, 2023. [doi]

Authors

Luke Rickard

This author has not been identified. Look up 'Luke Rickard' in Google

Thom S. Badings

This author has not been identified. Look up 'Thom S. Badings' in Google

Licio Romao

This author has not been identified. Look up 'Licio Romao' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google
runs on