:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Petri, Annabell
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19742965
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

Guiding Growth in Reading: Reference Manual for Teachers of Children with Learning Problems in the Regular Classroom Grades 1-4.
by: Scarbrough, Annabell T.
Published: (1973)

Model Checking Probabilistic Operator Precedence Automata
by: Pontiggia, Francesco, et al.
Published: (2024)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
by: Marksteiner, Stefan, et al.
Published: (2025)

Interval Abstractions for Robust Counterfactual Explanations
by: Jiang, Junqi, et al.
Published: (2024)

Symbolic Model Checking using Intervals of Vectors
by: Morard, Damien, et al.
Published: (2026)

JAVANESE ANGKLUNG IN THE AUCKLAND INSTITUTE AND MUSEUM
by: Annabell, Angela R
Published: (1985)

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
by: Kim, Yan, et al.
Published: (2025)

LA MÚSICA COMO ESTRATEGIA DE MOTIVACIÓN A LA LECTURA EN NIÑOS DE ENTRE 4 Y 6 AÑOS DE LA PARROQUIA SAN PABLO, CANTÓN PORTOVIEJO
by: Kerly Annabell Aguayo-Zambrano
Published: (2020)

Green Alignment, Green Vocational Education and Training, Green Skills and Related Subjects: A Literature Review on Actors, Contents and Regional Contexts
by: Annabell Albertz, et al.
Published: (2025)

Checking History-Determinism is NP-hard for Parity Automata
by: Prakash, Keya
Published: (2023)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
by: Deng, Zhibo, et al.
Published: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
by: Stutz, Felix, et al.
Published: (2025)

Automata-less Monitoring via Trace-Checking (Extended Version)
by: Brunello, Andrea, et al.
Published: (2025)

Localising Stochasticity in Weighted Automata
by: Agarwal, Smayan, et al.
Published: (2026)

Automata Models for Effective Bug Pattern Description
by: Yaacov, Tom, et al.
Published: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
by: Akshay, S., et al.
Published: (2024)

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
by: Blohm, Pauline, et al.
Published: (2025)

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
by: Pruekprasert, Sasinee, et al.
Published: (2025)

Studienausstieg – und dann?
by: Neugebauer, Martin, et al.
Published: (2025)

Do you prefer to collaborate with students pursuing the same goals? – A network analysis of physical education classes
by: Annabell Schüßler, et al.
Published: (2025)

Abstraction, Explanation, and Effective Field Theories
by: King, Martin
Published: (2025)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
by: Hanifa Boucheneb
Published: (2006)

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)

UnAC: Adaptive Visual Prompting with Abstraction and Stepwise Checking for Complex Multimodal Reasoning
by: Wang, Yifan, et al.
Published: (2026)

From 1 to infinity: The log-correction for the maximum of variable-speed branching Brownian motion
by: Alban, Alexander, et al.
Published: (2024)

To Perform or Not to Perform: Exploring the Impact of COVID‐19 on Aotearoa New Zealand's Performing Arts Sector
by: Angelique Nairn, et al.
Published: (2024)

Effective Weak Universality in Short Intervals
by: Wananiyakul, Saeree, et al.
Published: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

Stochastic Integration on Stochastic Sets of Interval Type and Applications to Mathematical Finance
by: Yue, Jia, et al.
Published: (2025)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
by: Esparza, Javier, et al.
Published: (2025)

Mixtures of Neural Cellular Automata: A Stochastic Framework for Growth Modelling and Self-Organization
by: Milite, Salvatore, et al.
Published: (2025)

Personality as a Factor Underlying Cognitive Reserve
by: Annabell Coors, et al.
Published: (2024)

Promoting Students' Learning through Transatlantic Conversations
by: Heaven Hollender, et al.
Published: (2025)

Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction
by: Luo, Baiting, et al.
Published: (2025)

TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
by: Dubois, Tanguy, et al.
Published: (2026)

Irrational Random Utility Models
by: Caliari, Daniele, et al.
Published: (2024)

Self-Abstraction Learning for Effective and Stable Training of Deep Neural Networks
by: Cho, Wonyong, et al.
Published: (2026)