"Bettina Könighofer" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Bettina Könighofer

"Bettina Könighofer" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Boook	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 7 of 7 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Synthesis of Admissible Shields	Laura Humphrey; Bettina Könighofer; Robert Könighofer; Ufuk Topcu	Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings	Roderick Bloem; Eli Arbel	1st ed. 2016	Springer International Publishing
Shield Synthesis:	Roderick Bloem; Bettina Könighofer; Robert Könighofer; Chao Wang	Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings	Christel Baier; Cesare Tinelli	2015	Springer Berlin Heidelberg
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments	Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem	Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings	Zhe Hou; Vijay Ganesh	1st ed. 2021	Springer International Publishing
Shield Synthesis for Reinforcement Learning	Bettina Könighofer; Florian Lorber; Nils Jansen; Roderick Bloem	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2020	Springer International Publishing
Online Shielding for Stochastic Systems	Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem	NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings	Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Ivan Perez	1st ed. 2021	Springer International Publishing
Formal Verification of Masked Hardware Implementations in the Presence of Glitches	Roderick Bloem; Hannes Gross; Rinat Iusupov; Bettina Könighofer; Stefan Mangard; Johannes Winter	Advances in Cryptology – EUROCRYPT 2018: 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II	Jesper Buus Nielsen; Vincent Rijmen	1st ed. 2018	Springer International Publishing
Run-Time Optimization for Learned Controllers Through Quantitative Games	Guy Avni; Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Bettina Könighofer; Stefan Pranger	Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I	Isil Dillig; Serdar Tasiran	1st ed. 2019	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 7 of 7 entries

«
‹
1
›
»