Cross-entropy temporal logic motion planning

DOI10.1145/2728606.2728635zbMath1366.68178OpenAlexW1986417217WikidataQ59813836 ScholiaQ59813836MaRDI QIDQ2988949

Richard M. Murray, Eric M. Wolff, Scott C. Livingston

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://authors.library.caltech.edu/55595/

zbMATH Keywords

stochastic optimizationmotion planningcross-entropylinear temporal logicincremental synthesis

Mathematics Subject Classification ID

Stochastic programming (90C15) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Resource-aware networked control systems under temporal logic specifications

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: Cross-entropy temporal logic motion planning