<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Stefan Schlobach | Omega-krr Group</title><link>/en/author/stefan-schlobach/</link><atom:link href="/en/author/stefan-schlobach/index.xml" rel="self" type="application/rss+xml"/><description>Stefan Schlobach</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-US</language><lastBuildDate>Wed, 01 Jul 2020 00:00:00 +0000</lastBuildDate><image><url>/media/logo_hu_1cb1abbd18ed2a70.png</url><title>Stefan Schlobach</title><link>/en/author/stefan-schlobach/</link></image><item><title>On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach</title><link>/en/publication/renyan-kr-2020/</link><pubDate>Wed, 01 Jul 2020 00:00:00 +0000</pubDate><guid>/en/publication/renyan-kr-2020/</guid><description>&lt;p&gt;Add the &lt;strong&gt;full text&lt;/strong&gt; or &lt;strong&gt;supplementary notes&lt;/strong&gt; for the publication here using Markdown formatting.&lt;/p&gt;</description></item></channel></rss>