13 followers
RT @taylorjohnson: Preston Robinette presents "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinf…
RT @taylorjohnson: Preston Robinette presents "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinf…
RT @taylorjohnson: Preston Robinette presents "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinf…
RT @4diac: Great IEC 61499 research enabled by Eclipse @4diac. #opensource empowers research!
RT @AandVNetwork: Now we come to the final talk for #SEFM22 "Runtime Enforcement of IEC 61499 Applications" By Irman Faqrizal, Gwen Salaün…