×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Verginis, Christos K.; Dimarogonas, Dimos V.; Kavraki, Lydia E.

Sampling-based motion planning for uncertain high-dimensional systems via adaptive control. (English) Zbl 1510.93157

Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 159-175 (2021).
MSC:  93C40 93C85 93C41
Cite Review PDF
Full Text: DOI Link
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.

Falsification of LTL safety properties in hybrid systems. (English) Zbl 1234.68264

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 368-382 (2009).
MSC:  68Q60 93C30
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field

all top 3

Software