Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

NSV@CAV 2019: New York City, NY, USA

> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2019nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2019nsv
Majid Zamani, Damien Zufferey:
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings. Lecture Notes in Computer Science 11652, Springer 2019, ISBN 978-3-030-28422-0

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/cav/Jha19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Jha19
Susmit Jha:
Trust, Resilience and Interpretability of AI Models. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Somenzi019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Somenzi019
Fabio Somenzi, Ashutosh Trivedi:
Reinforcement Learning and Formal Requirements. 26-41

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/cav/DelmasLBC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DelmasLBC19
Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton:
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GerettiGCBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GerettiGCBV19
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HeBR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HeBR19
Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric:
Stochastic Local Search for Solving Floating-Point Constraints. 76-84
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HuangKGZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HuangKGZ19
Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey:
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. 85-100
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LavaeiSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LavaeiSZ19
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. 101-109
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SadraddiniSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SadraddiniSB19
Sadra Sadraddini, Shen Shen, Osbert Bastani:
Polytopic Trees for Verification of Learning-Based Controllers. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WuM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WuM19
Ruining (Ray) Wu, Ian M. Mitchell:
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. 128-144

a service of

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.