Hadas Kress-Gazit

Available identifiers

zbMath Open kress-gazit.hadasWikidataQ87407279 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hadas Kress-Gazit