Accepted Papers
Mohammad
Torabi Dashti and David
Basin. Tests and
Refutation
Jan
Kretinsky and Tobias
Meggendorfer. Efficient
Strategy Iteration for Mean Payoff in Markov Decision
Processes
Soumyadip
Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar and
Chittaranjan
Mandal. SamaTulyata: An
Efficient Path Based Equivalence Checking
Tool (Tool Paper)
Krishnendu
Chatterjee, Amir Kafshdar Goharshady and Andreas
Pavlogiannis. JTDec: A Tool
for Tree Decompositions in
Soot (Tool Paper) Yijun
Feng, Lijun Zhang, David N. Jansen, Naijun Zhan and Bican
Xia. Finding Polynomial Loop
Invariants for Probabilistic
Programs
Kumar
Madhukar, Peter Schrammel
and Mandayam
Srivas. Compositional Safety
Refutation
Techniques Zuzana
Baranová, Jiri
Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan
Mrázek, Petr Ročkai and Vladimír
Štill. Model Checking of C and
C++ with DIVINE 4 (Tool
Paper) Rüdiger
Ehlers. Formal Verification of
Piece-Wise Linear Feed-Forward Neural
Networks Ashish
Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang
and Radu Grosu. Attacking the V:
On the Resiliency of Adaptive-Horizon
MPC
Graeme
Gange, Pierre Ganty
and Peter
J. Stuckey. Fixing the State
Budget: Approximation of Regular Languages with Small
DFAs Sumanth
Prabhu, Peter Schrammel, Mandayam Srivas, Michael Tautschnig and
Anand Yeolekar. Concurrent
Program Verification With Invariant-guided
Underapproximation (Tool Paper)
Krishna S., Ashutosh Trivedi, Aviral Kumar, Fabio Somenzi and Behrouz Touri. The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera and Vojtech Rehak. Synthesis of Optimal Resilient Control Strategies