default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday: 2022
- Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5
Hybrid, Timed, Cyber-Physical and Dynamical Systems
- Albert Benveniste, Benoît Caillaud, Mathias Malandain:
From Hybrid Automata to DAE-Based Modeling. 3-20 - Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable About Discrete Linear Dynamical Systems? 21-38 - Goran Frehse
, Mirco Giacobbe, Enea Zaffanella:
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. 39-60 - Hermann Kopetz:
An Architecture for Safe Driving Automation. 61-84 - Marius Bozga, Joseph Sifakis:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. 85-106 - Matthias Függer, Christoph Lenzen, Ulrich Schmid:
On Specifications and Proofs of Timed Circuits. 107-130 - Patrick Cousot:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. 131-159 - Edward A. Lee, Marten Lohstroh:
Generalizing Logical Execution Time. 160-181
Automata, Logic and Games
- Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay:
Towards a Grand Unification of Büchi Complementation Constructions. 185-207 - Javier Esparza, Rubén Rubio, Salomon Sickert:
A Simple Rewrite System for the Normalization of Linear Temporal Logic. 208-227 - Daniel Hausmann, Nir Piterman:
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. 228-251 - Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini:
Universal Algorithms for Parity Games and Nested Fixpoints. 252-271 - Kim G. Larsen, Christian Schilling, Jirí Srba:
Simulation Relations and Applications in Formal Methods. 272-291 - Monika Henzinger:
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. 292-305 - Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. 306-322
Probabilistic and Quantitative Verification
- Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen:
On Probabilistic Monitorability. 325-342 - Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. 343-363 - Miroslav Chodil, Antonín Kucera, Jan Kretínský:
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. 364-387 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. 388-406 - Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. 407-437 - Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen:
Convex Lattice Equation Systems. 438-455 - Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks Using Control Variates. 456-474
Software Systems Theory
- Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. 477-493 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan:
Consistency and Persistency in Program Verification: Challenges and Opportunities. 494-510 - Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald:
Automated Program Repair Using Formal Verification Techniques. 511-534 - Ranjit Jhala:
Embedded Domain Specific Verifiers. 535-553 - Dirk Beyer, Andreas Podelski:
Software Model Checking: 20 Years and Beyond. 554-582
Artificial Intelligence and Machine Learning
- Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. 585-603 - Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan:
A Framework for Transforming Specifications in Reinforcement Learning. 604-624 - Sophie A. Neubauer, Radu Grosu:
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. 625-649 - Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek:
Correct-by-Construction Runtime Enforcement in AI - A Survey. 650-663
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
