[{"data": {"name": "Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Aleksandra Jovanovi\u0107", "@type": "Person"}, {"name": "Marta Kwiatkowska", "@type": "Person"}, {"name": "Gethin Norman", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://www.dcs.gla.ac.uk/%7Egethin/papers/RR-15-04.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer International Publishing", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-319-22975-1_10", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCbCV82bG44T9-CTckbvPizbw1p-CDFhB7mTJdEYP-CR6ei37aYRrDS", "propertyID": "ISCC"}], "datePublished": "2015-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]