Article10.1016/j.ic.2015.06.006

HRELTL: A temporal logic for hybrid systems

Alessandro Cimatti,Marco Roveri,Stefano Tonetta-2015-06-23-Information and Computation

21

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceTemporal logicTemporal logic of actionsLinear temporal logicProgramming languageInterval temporal logic

Chat

Click to start Chat