@Inbook{Bouyer_HMC_2018,
    author = {Bouyer, Patricia
and Fahrenberg, Uli
and Larsen, Kim Guldstrand
and Markey, Nicolas
and Ouaknine, Jo{\"e}l
and Worrell, James},
    editor = {Clarke, Edmund M.
and Henzinger, Thomas A.
and Veith, Helmut
and Bloem, Roderick},
    title = {Model Checking Real-Time Systems},
    booktitle = {Handbook of Model Checking},
    year = {2018},
    publisher = {Springer International Publishing},
    address = {Cham},
    pages = {1001--1046},
    abstract = {This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).},
    isbn = {978-3-319-10575-8},
    doi = {10.1007/978-3-319-10575-8_29},
    url = {https://doi.org/10.1007/978-3-319-10575-8_29},
    date-added = {2024-4-21 8:7:46 +0100}
}

@Inbook{Bouyer_HMC_2018, author = {Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim Guldstrand and Markey, Nicolas and Ouaknine, Jo{\"e}l and Worrell, James}, editor = {Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick}, title = {Model Checking Real-Time Systems}, booktitle = {Handbook of Model Checking}, year = {2018}, publisher = {Springer International Publishing}, address = {Cham}, pages = {1001--1046}, abstract = {This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).}, isbn = {978-3-319-10575-8}, doi = {10.1007/978-3-319-10575-8_29}, url = {https://doi.org/10.1007/978-3-319-10575-8_29}, date-added = {2024-4-21 8:7:46 +0100} }