Synthesis and Analysis of Petri Nets from Causal Specifications

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2
1. Verfasser: Oliveira, Mateus de Oliveira (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Verified Erasure Correction in Coq with MathComp and VST 2022 Cohen, Joshua M.
Synthesizing Fair Decision Trees via Iterative Constraint Solving 2022 Wang, Jingbo
Verifying Fairness ın Quantum Machine Learning 2022 Guan, Ji
MOGYM: Using Formal Models for Training and Verifying Decision-making Agents 2022 Gros, Timo P.
Sampling-Based Verification of CTIMCSs with Uncertain Rates 2022 Badings, Thom S.
Playing Against Fair Adversaries in Stochastic Games with Total Rewards 2022 Castro, Pablo F.
Local Search for SMT on Linear Integer Arithmetic 2022 Cai, Shaowei
Complementing Büchi Automata with Ranker 2022 Havlena, Vojtèch
Synthesis and Analysis of Petri Nets from Causal Specifications 2022 Oliveira, Mateus de Oliveira
Information Flow Guided Synthesis 2022 Finkbeiner, Bernd
Sound Automation of Magic Wands 2022 Dardinier, Thibault
Even Faster Conflicts and Lazier Reductions for String Solvers 2022 Nötzli, Andres
Reasoning About Data Trees Using CHCs 2022 Faella, Marco
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers 2022 Yuan, Shenghao
Specification-Guided Learning of Nash Equilibria with High Social Welfare 2022 Jothimurugan, Kishor
SMT-Based Translation Validation for Machine Learning Compiler 2022 Bang, Seongwon
Capture, Analyze, Diagnose: Realızability Checking Of Requirements in FRET 2022 Katis, Andreas
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation 2022 Gittis, Andreas
PAC Statistical Model Checking of Mean Payoff in Discrete-and Continuous-Time MDP 2022 Agarwal, Chaitanya
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures 2022 Leutgeb, Lorenz
Alle Artikel auflisten