Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Mateus De Oliveira Oliveira
og
Olga Tveretina
Tidsskrift
Tidsskrift
Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2022
Publisert online: 2022
Lenker
Lenker
original online (doi)
https://doi.org/10.1145/3501710.3519529
Beskrivelse
Beskrivelse
Engelsk
Tittel
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Bidragsytere
Bidragsytere
Mateus De Oliveira Oliveira
Forfatter
ved Institutt for informatikk ved Universitetet i Bergen
Olga Tveretina
Forfatter
ved University of Hertfordshire
1
-
2
av
2