- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Active model learning of stochastic reactive systems (extended version) ; volume:23 ; number:2 ; day:23 ; month:3 ; year:2024 ; pages:503-524 ; date:4.2024
Software and systems modeling ; 23, Heft 2 (23.3.2024), 503-524, 4.2024
- Creator
-
Muškardin, Edi
Tappler, Martin
Aichernig, Bernhard K.
Pill, Ingo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-024-01158-0
- URN
-
urn:nbn:de:101:1-2407222111069.913789617090
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:50 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Muškardin, Edi
- Tappler, Martin
- Aichernig, Bernhard K.
- Pill, Ingo
- SpringerLink (Online service)
Other Objects (12)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation
Probabilistic black-box reachability checking (extended version)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation
Probabilistic black-box reachability checking (extended version)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation