From 9f782cd9cb0e01fbce9e89ec33bce713bdb61796 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 30 May 2018 00:52:06 -0400
Subject: [PATCH] Update preprint.

---
 bibs/myrefs.bib | 14 ++++++++++++++
 content/news.md |  2 ++
 2 files changed, 16 insertions(+)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index ebec9bd..c983826 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,4 +1,18 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{vHHOS18,
+  title    = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
+  author   = {van Heerdt, Gerco and
+              Hsu, Justin and
+              Ouaknine, Jo\"el and
+              Silva, Alexandra},
+  year     = {2018},
+  jh       = yes,
+  url      = {https://arxiv.org/abs/1805.11550},
+  eprint   = {1805.11550},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.FL},
+}
+
 @unpublished{SKFHKKS18,
   title    = {Probabilistic Program Equivalence for {NetKAT}},
   author   = {Smolka, Steffen and
diff --git a/content/news.md b/content/news.md
index acccb8d..3484802 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **05/2018** Our preprint **Convex Language Semantics for Nondeterministic
+  Probabilistic Automata** is now available.
 + **05/2018** I will be serving on the program committee of [**POPL
   2019**](https://popl19.sigplan.org/) in Lisbon, Portugal. Submit your best
   papers!