Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Journal Details
Q
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
Papers
26
Citations
Related Insights
0
subscribe
Journal Papers
26
Related Insights
0
Journal Papers
26
Publication Date
Publication Date
IF
Citations
Tightening the Frontier of Decidability for Decisiveness
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Fougea, Gaspard; Haddad, Serge; Ye, Lina; Jain, Shreyas; Finkel, Alain
Share
Save
Time-Sensitive Importance Splitting
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Dengler, Gabriel; Budde, Carlos E.; Carnevali, Laura; Hartmanns, Arnd
Share
Save
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
Share
Save
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Schon, Oliver; Haesaert, Sofie; Soudjani, Sadegh
Share
Save
Numerical Errors in Quantitative System Analysis With Decision Diagrams
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Brand, Sebastiaan; Quist, Arend-Jan; van Dijk, Richard M. K.; Laarman, Alfons
Share
Save
A Product-Form Model for Systems with Aging Objects and Similarities
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Marin, Andrea; Olliaro, Diletta; Rossi, Sabina; Menasche, Daniel
Share
Save
Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server Under Piecewise-Linear Arrival Curves
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Wildberger, Lukas; Hamscher, Anja; Schmitt, Jens B.
Share
Save
Using Communication to Bound Clock Drift in Local-Timed Negotiations
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Garg, Abhinav; Mukund, Madhavan; Roy, Adwitee; Srivathsan, B.; Viswanathan, Gautham
Share
Save
Noninterference Analysis of Deterministically Timed Reversible Systems
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Share
Save
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
Share
Save
Learning Mealy Machines with Sparse Observation Tables
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Schwabe, Wolffhardt; Kogel, Paul; Glesner, Sabine
Share
Save
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Budde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
Share
Save
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Liu, Jun; Fitzsimmons, Maxwell
Share
Save
Active Learning of Mealy Machines with Timers
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Bruyere, Veronique; Garhewal, Bharat; Perez, Guillermo A.; Staquet, Gaetan; Vaandrager, Frits W.
Share
Save
Positive Almost-Sure Termination of Polynomial Random Walks
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Winkler, Lorenz; Kovacs, Laura
Share
Save
Fuzzy Fault Trees: the Fast and the Formal
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Dang, Thi Kim Nhung; Peterseim, Benedikt; Lopuhaa-Zwakenberg, Milan; Stoelinga, Marielle
Share
Save
A Hyperlogic for Strategies in Stochastic Games
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Gerlach, Lina; Loeding, Christof; Abraham, Erika
Share
Save
Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Barbot, Benoit; Basset, Nicolas; Dang, Thao; Donze, Alexandre; Esposito, Marco; Nickovic, Dejan
Share
Save
Statistical Bayesian Inference for Stochastic Process Discovery
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Cry, Pierre; Ballarini, Paolo; Horvath, Andras; Le Gall, Pascale
Share
Save
On Choice of Loss Functions for Neural Control Barrier Certificates
QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF
0
2026-01-01
0
PRE
AI
Nadali, Alireza; Trivedi, Ashutosh; Zamani, Majid
Share
Save
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}