Signal Temporal Logic Synthesis as Probabilistic Inference

Lee, KMB Yoo, C Fitch, R

Permalink

Publisher:: IEEE
Publication Type:: Conference Proceeding
Citation:: 2021 IEEE International Conference on Robotics and Automation (ICRA), 2021
Issue Date:: 2021-05-30

Open Access

Copyright Clearance Process

This item is open access.

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Lee, KMB
dc.contributor.author	Yoo, C
dc.contributor.author	Fitch, R
dc.date	2021-05-30
dc.date.accessioned	2021-11-09T02:35:57Z
dc.date.available	2021-11-09T02:35:57Z
dc.date.issued	2021-05-30
dc.identifier.citation	2021 IEEE International Conference on Robotics and Automation (ICRA), 2021
dc.identifier.uri	http://hdl.handle.net/10453/151432
dc.language	en
dc.publisher	IEEE
dc.relation.ispartof	2021 IEEE International Conference on Robotics and Automation (ICRA)
dc.relation.ispartof	2021 IEEE International Conference on Robotics and Automation (ICRA)
dc.relation.isbasedon	10.1109/icra48506.2021.9560929
dc.rights	info:eu-repo/semantics/openAccess
dc.title	Signal Temporal Logic Synthesis as Probabilistic Inference
dc.type	Conference Proceeding
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Mechanical and Mechatronic Engineering
utslib.copyright.status	open_access	*
dc.date.updated	2021-11-09T02:35:56Z
pubs.finish-date	2021-06-05
pubs.publication-status	Published
pubs.start-date	2021-05-30

Please use this identifier to cite or link to this item: