IEEE

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning

This paper focuses on planning robot navigation tasks from natural language specifications. We develop a modular approach, where a large language model (LLM) translates the natural language ...
IEEE

Risk Mitigation for Interval Signal Temporal Logic Monitoring and Synthesis

Abstract: This letter presents a method to mitigate the risk of violation of a temporal logic specification. Given a time-varying signal with interval-valued uncertainty at each time step, we propose ...
The New York Times

About New York Times Games

Since the launch of the Crossword in 1942, The Times has captivated solvers by providing engaging word and logic games. In 2014, we introduced the Mini Crossword — followed by Spelling Bee, Letter ...
Scientific Research Publishing

A Study on the Impact of New Media on College Students’ Oral English Learning

Li, H. (2026) A Study on the Impact of New Media on College Students’ Oral English Learning —Taking English Content Creators on Bilibili as an Example. Open Access Library Journal, 13, 1-18. doi: ...
GitHub

Diverse Controllable Diffusion Policy with Signal Temporal Logic

A GenAI framework to learn diverse and controllable policy for autonomous driving to satisfy Signal Temporal Logic (STL) specifications. Implemented NuScenes data visualizer and annotation tool (with ...
Design-Reuse

3.3V to 1.2V with 150mA driving capability; Linear Regulator; UMC 0.13um LOGIC PROCESS

3.3V to 1.2V with 150mA driving capability; Linear Regulator; UMC 0.13um LOGIC PROCESS ...
GitHub

P_MDP_TG

@ARTICLE{8272366, author={M. {Guo} and M. M. {Zavlanos}}, journal={IEEE Transactions on Automatic Control}, title={Probabilistic Motion Planning Under Temporal Tasks ...