Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Bibliographic Details
Main Authors:	Amparore, E, Barbot, B, Beccuti, M, Donatelli, S, Franceschinis, G
Format:	Conference item
Published:	ACM 2013

Similar Items

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
by: Barbot, B, et al.
Published: (2015)

Stochastic Timed Automata
by: Nathalie Bertrand, et al.
Published: (2014-12-01)

Intrinsic Simulations between Stochastic Cellular Automata
by: Pablo Arrighi, et al.
Published: (2012-08-01)

Multipreconditioned GMRES for simulating stochastic automata networks
by: Wen Chun, et al.
Published: (2018-08-01)

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
by: Mariken H.C. Everdij, et al.
Published: (2010-03-01)

Probabilistic automata and stochastic languages
by: Soh, Royson Jun Heng
Published: (2024)

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata
by: Md Tauseef Alam, et al.
Published: (2023-09-01)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: 428455 Penczek, Wojciech, et al.
Published: (2006)

Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net
by: C. Dechsupa, et al.
Published: (2022-01-01)

starMC: an automata based CTL* model checker
by: Elvio Gilberto Amparore, et al.
Published: (2022-02-01)

Stochastic cellular automata modeling of excitable systems
by: Szakály Tamás, et al.
Published: (2007-12-01)

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
by: Tkachev, I, et al.
Published: (2012)

MODAL ANALYSIS AND VERIFICATION PERFORMED TO CYCLIC SYMMETRIC STRUCTURES BASED ON STOCHASTIC SUBSPACE IDENTIFICATION
by: CHU ZhiGang, et al.
Published: (2016-01-01)

Numeric simulation of fishing effort and strategies (stochastic and cartesian) using cellular automata
by: MJ Dreyfus-León, et al.
Published: (2011-06-01)

Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
by: Elston Timothy C, et al.
Published: (2004-03-01)

Runtime verification for stochastic systems
by: Wilcox, Cristina M
Published: (2010)

On the analysis of ''simple'' 2D stochastic cellular automata
by: Damien Regnault, et al.
Published: (2010-01-01)

Robust finite automata in stochastic chemical reaction networks
by: David Arredondo, et al.
Published: (2021-12-01)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
by: Scher, Guy, et al.
Published: (2022)

Time evolution with symmetric stochastic action
by: Peter D. Drummond
Published: (2021-03-01)

A Novel Stochastic Learning Automata Based SON Interference Mitigation Framework for 5G HetNets
by: M. N. Qureshi, et al.
Published: (2016-12-01)

Design of intelligent control systems based on hierarchical stochastic automata /
by: 398451 Lima, Pedro U., et al.
Published: (1996)

Accelerating Forward Algorithm for Stochastic Automata on Graphics Processing Units
by: Muhammad Umer Sarwar, et al.
Published: (2020-01-01)

Formal verification meets stochastic analysis
by: Cosentino, F
Published: (2021)

Automatic Verification of Competitive Stochastic Systems.
by: Chen, T, et al.
Published: (2012)

Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2012)

Automatic verification of competitive stochastic systems
by: Simaitis, A
Published: (2014)

Automatic verification of concurrent stochastic systems
by: Kwiatkowska, M, et al.
Published: (2021)

Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2011)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)

StochasticNet: Forming Deep Neural Networks via Stochastic Connectivity
by: Mohammad Javad Shafiee, et al.
Published: (2016-01-01)

Hybrid framework for the simulation of stochastic chemical kinetics
by: Duncan, A, et al.
Published: (2016)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
by: Jovanović, A, et al.
Published: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
by: Jovanović, A, et al.
Published: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
by: Jovanovic, A, et al.
Published: (2014)

Calibration of stochastic cellular automata : the application to rural-urban land conversions/
by: Fulong, Wu

Cellular Automata Model for Traffic Flow with Optimised Stochastic Noise Parameter
by: Sheng Liu, et al.
Published: (2022-07-01)

Deep Stochastic Logic Gate Networks
by: Youngsung Kim
Published: (2023-01-01)

Logic simulation on a cellular automata machine
by: Agin, Ruben
Published: (2008)

Quantitative verification and strategy synthesis of stochastic games
by: Svorenova, M, et al.
Published: (2016)