Synthesis of Parametric Hybrid Automata from Time Series (English)
- New search for: García Soto, Miriam
- Further information on García Soto, Miriam:
- https://orcid.org/http://orcid.org/0000-0003-2936-5719
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
- New search for: Bouajjani, Ahmed
- Further information on Bouajjani, Ahmed:
- https://orcid.org/https://orcid.org/0000-0002-2060-3592
- New search for: Holík, Lukáš
- Further information on Holík, Lukáš:
- https://orcid.org/https://orcid.org/0000-0001-6957-1651
- New search for: Wu, Zhilin
- New search for: García Soto, Miriam
- Further information on García Soto, Miriam:
- https://orcid.org/http://orcid.org/0000-0003-2936-5719
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
In:
Automated Technology for Verification and Analysis
: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
;
Chapter: 22
;
337-353
;
2022
- Article/Chapter (Book) / Electronic Resource
-
Title:Synthesis of Parametric Hybrid Automata from Time Series
-
Additional title:Lect.Notes Computer
-
Contributors:Bouajjani, Ahmed ( editor ) / Holík, Lukáš ( editor ) / Wu, Zhilin ( editor ) / García Soto, Miriam ( author ) / Henzinger, Thomas A. ( author ) / Schilling, Christian ( author )
-
Conference:International Symposium on Automated Technology for Verification and Analysis ; 2022
-
Published in:Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings ; Chapter: 22 ; 337-353Lecture Notes in Computer Science ; 13505 ; 337-353
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2022-10-21
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Learning Monitorable Operational Design Domains for Assured AutonomyTorfah, Hazem / Xie, Carol / Junges, Sebastian / Vazquez-Chanlatte, Marcell / Seshia, Sanjit A. et al. | 2022
- 2
-
Dynamic Shielding for Reinforcement Learning in Black-Box EnvironmentsWaga, Masaki / Castellano, Ezequiel / Pruekprasert, Sasinee / Klikovits, Stefan / Takisaka, Toru / Hasuo, Ichiro et al. | 2022
- 3
-
An Impossibility Result in Automata-Theoretic Reinforcement LearningHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2022
- 4
-
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid SystemsAdelt, Julius / Brettschneider, Daniel / Herber, Paula et al. | 2022
- 5
-
SISL: Concolic Testing of Structured Binary Input Formats via Partial SpecificationTempel, Sören / Herdt, Vladimir / Drechsler, Rolf et al. | 2022
- 6
-
Fence Synthesis Under the C11 Memory ModelSingh, Sanjana / Sharma, Divyanjali / Jaju, Ishita / Sharma, Subodh et al. | 2022
- 7
-
Checking Scheduling-Induced Violations of Control Safety PropertiesYeolekar, Anand / Metta, Ravindra / Hobbs, Clara / Chakraborty, Samarjit et al. | 2022
- 8
-
Symbolic Runtime Verification for Monitoring Under Uncertainties and AssumptionsKallwies, Hannes / Leucker, Martin / Sánchez, César et al. | 2022
- 9
-
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree TestCimatti, Alessandro / Griggio, Alberto / Lipparini, Enrico / Sebastiani, Roberto et al. | 2022
- 10
-
Verification of SMT Systems with QuantifiersCimatti, Alessandro / Griggio, Alberto / Redondi, Gianluca et al. | 2022
- 11
-
Projected Model Counting: Beyond Independent SupportYang, Jiong / Chakraborty, Supratik / Meel, Kuldeep S. et al. | 2022
- 12
-
Minimization of Automata for Liveness LanguagesAbu Radi, Bader / Kupferman, Orna et al. | 2022
- 13
-
Temporal Causality in Reactive SystemsCoenen, Norine / Finkbeiner, Bernd / Frenkel, Hadar / Hahn, Christopher / Metzger, Niklas / Siber, Julian et al. | 2022
- 14
-
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown SystemsJensen, Peter G. / Schmid, Stefan / Schou, Morten K. / Srba, Jiří et al. | 2022
- 15
-
Learning Deterministic One-Clock Timed Automata via Mutation TestingTang, Xiaochen / Shen, Wei / Zhang, Miaomiao / An, Jie / Zhan, Bohua / Zhan, Naijun et al. | 2022
- 16
-
Active Learning of One-Clock Timed Automata Using Constraint SolvingXu, Runqing / An, Jie / Zhan, Bohua et al. | 2022
- 17
-
Learning and Characterizing Fully-Ordered Lattice AutomataFisman, Dana / Saadon, Sagi et al. | 2022
- 18
-
Optimistic and Topological Value Iteration for Simple Stochastic GamesAzeem, Muqsit / Evangelidis, Alexandros / Křetínský, Jan / Slivinskiy, Alexander / Weininger, Maximilian et al. | 2022
- 19
-
Alternating Good-for-MDPs AutomataHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2022
- 20
-
PET – A Partial Exploration Tool for Probabilistic VerificationMeggendorfer, Tobias et al. | 2022
- 21
-
STOMPC: Stochastic Model-Predictive Control with Uppaal StrategoGoorden, Martijn A. / Jensen, Peter G. / Larsen, Kim G. / Samusev, Mihhail / Srba, Jiří / Zhao, Guohan et al. | 2022
- 22
-
Synthesis of Parametric Hybrid Automata from Time SeriesGarcía Soto, Miriam / Henzinger, Thomas A. / Schilling, Christian et al. | 2022
- 23
-
Optimal Repair for Omega-Regular PropertiesDave, Vrunda / Krishna, Shankara Narayanan / Murali, Vishnu / Trivedi, Ashutosh et al. | 2022
- 24
-
Repairing Real-Time RequirementsNoguchi, Reiya / Sankur, Ocan / Jéron, Thierry / Markey, Nicolas / Mentré, David et al. | 2022
- 25
-
An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksOstrovsky, Matan / Barrett, Clark / Katz, Guy et al. | 2022
- 26
-
Prioritizing Corners in OoD Detectors via Symbolic String ManipulationCheng, Chih-Hong / Wu, Changshun / Seferis, Emmanouil / Bensalem, Saddek et al. | 2022
- 27
-
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled SystemsHuang, Chao / Fan, Jiameng / Chen, Xin / Li, Wenchao / Zhu, Qi et al. | 2022