Items where Author is "Ouaknine, J"
Jump to: Public
Number of items: 2.
Public
DRUCKER, N, HO, H M, OUAKNINE, J, PENN, M and STRICHMAN, O
(2019).
Cyclic-routing of Unmanned Aerial Vehicles.
Journal of Computer and System Sciences, 103, 18-45.
HO, H.M., OUAKNINE, J and WORRELL, J
(2019).
On the expressiveness and monitoring of metric temporal logic.
Logical Methods in Computer Science, 15 (2), 13:1-13:52.