%0 Journal Article %1 journals/tac/LaurentiLACK21 %A Laurenti, Luca %A Lahijanian, Morteza %A Abate, Alessandro %A Cardelli, Luca %A Kwiatkowska, Marta %D 2021 %J IEEE Trans. Autom. Control. %K dblp %N 1 %P 17-32 %T Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. %U http://dblp.uni-trier.de/db/journals/tac/tac66.html#LaurentiLACK21 %V 66

@article{journals/tac/LaurentiLACK21, added-at = {2022-08-16T00:00:00.000+0200}, author = {Laurenti, Luca and Lahijanian, Morteza and Abate, Alessandro and Cardelli, Luca and Kwiatkowska, Marta}, biburl = {https://www.bibsonomy.org/bibtex/278404afd84b0c0e4fb20b3ee02eaedba/dblp}, ee = {https://www.wikidata.org/entity/Q112268300}, interhash = {8695c795d3cefb73aad4b1539122573c}, intrahash = {78404afd84b0c0e4fb20b3ee02eaedba}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 1, pages = {17-32}, timestamp = {2024-04-08T17:33:26.000+0200}, title = {Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac66.html#LaurentiLACK21}, volume = 66, year = 2021 }