Showing 1 - 4 results of 4 for search 'Jiří Srba', query time: 0.02s
Refine Results
-
1
Beyond Language Equivalence on Visibly Pushdown Automata by Jiří Srba
Published 2009-01-01
Article -
2
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets by Lasse Jacobsen, Jiří Srba, Morten Jacobsen, Alexandre David
Published 2012-11-01
Article -
3
Stubborn Set Reduction for Two-Player Reachability Games by Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
Published 2021-03-01
Article -
4
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS by Guohan Zhao, Michael R. Rasmussen, Kim G. Larsen, Jiri Srba, Thomas D. Nielsen, Martijn A. Goorden, Weizhu Qian, Jesper E. Nielsen
Published 2023-07-01
Article