【论文随笔】Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach
D.Muniraj,K.G.Vamvoudakis,andM.Farhood,“EnforcingSignalTemporalLogicSpecificationsinMulti-AgentAdversarialEnvironments:ADeepQ-LearningApproach,”in2018IEEEConferenceonDecisionandControl(CDC),2018,pp.41