Hadas Kress-Gazit

Available identifiers

zbMath Open kress-gazit.hadasDBLP36/4385WikidataQ87407279 ScholiaQ87407279MaRDI QIDQ1012728

List of research outcomes

Publication	Date of Publication	Type
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications	2024-02-21	Paper
Reactive synthesis for robotic swarms	2018-12-06	Paper
Automated generation of dynamics-based runtime certificates for high-level control	2018-01-31	Paper
Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors	2017-05-19	Paper
Iterative temporal motion planning for hybrid systems in partially unknown environments	2017-05-16	Paper
Synthesis with Identifiers	2015-01-13	Paper
Temporal logic motion planning for dynamic robots	2009-04-22	Paper

Research outcomes over time

This page was built for person: Hadas Kress-Gazit