<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>tailwind &#8211; BIOENGINEER.ORG</title>
	<atom:link href="https://bioengineer.org/tag/tailwind/feed/" rel="self" type="application/rss+xml" />
	<link>https://bioengineer.org</link>
	<description>Bioengineering</description>
	<lastBuildDate>Fri, 16 Oct 2026 19:04:27 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=7.1.3</generator>

<image>
	<url>https://bioengineer.org/wp-content/uploads/2019/09/cropped-bioengineering-32x32.png</url>
	<title>tailwind &#8211; BIOENGINEER.ORG</title>
	<link>https://bioengineer.org</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">72741379</site>	<item>
		<title>Mathematical Proof Meets Machine Learning: NASA Team Formally Verifies AI Runway Advisor</title>
		<link>https://bioengineer.org/mathematical-proof-meets-machine-learning-nasa-team-formally-verifies-ai-runway-advisor/</link>
		
		<dc:creator><![CDATA[]]></dc:creator>
		<pubDate>Fri, 16 Oct 2026 19:04:27 +0000</pubDate>
				<category><![CDATA[Technology]]></category>
		<category><![CDATA[air traffic management]]></category>
		<category><![CDATA[Aviation Safety]]></category>
		<category><![CDATA[Computation Tree Logic]]></category>
		<category><![CDATA[crosswind]]></category>
		<category><![CDATA[formal verification]]></category>
		<category><![CDATA[Machine Learning]]></category>
		<category><![CDATA[model-checking]]></category>
		<category><![CDATA[NASA Ames Research Center]]></category>
		<category><![CDATA[NuSMV]]></category>
		<category><![CDATA[Reinforcement Learning]]></category>
		<category><![CDATA[runway configuration management]]></category>
		<category><![CDATA[tailwind]]></category>
		<guid isPermaLink="false">https://bioengineer.org/?p=423080</guid>

					<description><![CDATA[NASA researchers used Computation Tree Logic model-checking to formally verify that their machine learning runway configuration tool meets crosswind and tailwind safety limits in 94 percent of realistic scenarios.]]></description>
		
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">423080</post-id>	</item>
	</channel>
</rss>
