Cristin-resultat-ID: 2086527
Sist endret: 30. november 2022, 23:26
Resultat
Vitenskapelig artikkel
2022

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

Bidragsytere:
  • Mateus De Oliveira Oliveira og
  • Olga Tveretina

Tidsskrift

Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2022
Publisert online: 2022

Beskrivelse Beskrivelse

Tittel

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

Bidragsytere

Mateus De Oliveira Oliveira

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Olga Tveretina

  • Tilknyttet:
    Forfatter
    ved University of Hertfordshire
1 - 2 av 2