Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Hadas Kress-Gazit

From MaRDI portal
Person:1012728
Jump to:navigation, search

Contents

  • 1 Available identifiers
  • 2 List of research outcomes
  • 3 Research outcomes over time
  • 4 Doctoral students
  • 5 Known relations from the MaRDI Knowledge Graph

Available identifiers

zbMath Open kress-gazit.hadasWikidataQ87407279 ScholiaQ87407279MaRDI QIDQ1012728

List of research outcomes

PublicationDate of PublicationType
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications2024-02-21Paper
Reactive synthesis for robotic swarms2018-12-06Paper
Automated generation of dynamics-based runtime certificates for high-level control2018-01-31Paper
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors2017-05-19Paper
Iterative temporal motion planning for hybrid systems in partially unknown environments2017-05-16Paper
Synthesis with Identifiers2015-01-13Paper
Temporal logic motion planning for dynamic robots2009-04-22Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Hadas Kress-Gazit

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1012728&oldid=5820119"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 21 September 2023, at 19:10.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki