Update preprint.

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

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!